Secure computer science

Projects

We are currently involved in a variety of projects covering aspects of malware, mobile systems, privacy, security, and cryptography, in particular, post-quantum cryptography and computation over encrypted data.

We have a long tradition of collaborations with the industry, for instance, with projects together with Intel and Samsung. If you are interested in collaborating with us, please, reach us out!

Current projects

Fully homomorphic encryption and computing on encrypted data
Fully homomorphic encryption and computing on encrypted data Homomorphic encryption from theory to applications

Project funded by FAPESP via Young Investigators Grants (Jovem Pesquisador).

Post-quantum signature schemes
Post-quantum signature schemes New NIST standardization process

Project in collaboration with TII.

Past projects

Tor Protection against malicious traffic
Tor Protection against malicious traffic 2015 - 2018

This project proposes to design and implement a solutions to protect the Tor network against malicious code and malicious traffic, using forensic techniques and artificial intelligence. PIs: Prof. Paulo Lício de Geus and Marcelo Invert Palma Salas.