Projects

Secure Computation Infrastructures

MPC and strong authentication protocols for secure retail

Residue Number Systems for Cryptography

Faster secure cryptographic software

SQIsign 2.0 submission to NIST

Fast and compact isogeny-based signatures

Mobile Security

Security analysis of MitID and other mobile apps

Verifiable Cryptographic Software

High-assurance cryptography

Electronic Voting in Brazil

Analyzing the security of electronic voting in Brazil

Verifiable Electronic Voting

Improving electronic voting systems that can be verified

Blockchain Academy Network

Training materials and use cases for secure blockchain applications

Crypto for IoT

Efficient and Secure Cryptography for IoT

Encryption Policy

Strong/end-to-end encryption policy debate