Projects

Efficient Implementations of Cryptography

RELIC is a modern cryptographic meta-toolkit with emphasis on efficiency and flexibility. RELIC can be used to build efficient and usable cryptographic toolkits tailored for specific security levels and algorithmic choices.
  • TinyPBC implementation of authenticated key agreement for Wireless Sensor Networks (WSNs).
Security Evaluation of the Brazilian Voting Machines
  • International press coverage: Ars Technica recently ran a piece on e-voting around the world.