Francisco Almeida Maia

Domains

High-Assurance Software

Projects

SafeCloud

Despite all their advantages and importance to the competitiveness of modern economies, cloud infrastructures raise fundamental questions related to the privacy, integrity, and security of offsite data storage and processing tasks. There are major privacy and security concerns about data located in the cloud. These concerns are currently not addressed satisfactorily by existing technologies.

Publications

Slead: Low-memory, steady distributed systems slicing

Maia, F;Matos, M;Riviere, E;Oliveira, R;

2012

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Worldwide Consensus

Maia, F;Matos, M;Pereira, J;Oliveira, R;

2011

DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS

Scalable Transactions in the Cloud: Partitioning Revisited

Maia, F;Enrique Armendariz Inigo, JE;Idoia Ruiz Fuertes, MI;Oliveira, R;

2010

ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II

d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds

Pontes, R;Maia, F;Vilaça, R;Machado, N;

2019

38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019

View all publications

Supervised theses

Reinforcement Learning-Based Positioning Algorithm for Relay Nodes in Aerial Networks

Gabriella Fernandes Pantaleão

M - 2023

UP-FEUP

Centres

High-Assurance Software

At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.