Segurança da Informação

Our research in Information Security combines rigorous theoretical foundations with innovative practical approaches. We aim to build secure systems with formal guarantees, bridging the development of cryptographic protocols with their efficient and reliable implementation. On the theoretical side, we work with security proofs and computer-assisted cryptography, developing formal techniques that automatically validate security properties. On the applied side, we focus on implementations that meet high standards of performance and security, ensuring that theoretical guarantees are preserved from specification through to final code. To achieve this, we design domain-specific languages and tools that facilitate the development of highly trustworthy cryptographic software. We also investigate advanced threat detection and response mechanisms, which are essential to continuously preserving the security properties of systems. Our solutions are applicable to several domains, including privacy-preserving technologies, secure data storage, and cloud computing — all critical areas for ensuring security in the digital age.