I am an Associate Professor in the Department of Computer Science at Aarhus University, Denmark, where I conduct research in cryptographic engineering and security of real-world systems. I also lead the Cybersecurity Work Package at DIGIT and contribute to COBRA as Principal Investigator.

I have received two Google Latin America Research Awards for privacy, and the MIT TechReview’s Innovators Under 35 Brazil Award for my work in electronic voting.

Research Interests

  • Efficient secure cryptography in software
  • Elliptic Curve Cryptography (ECC) and Pairing-Based Cryptography (PBC)
  • Security in Wireless Sensor Networks (WSNs) and the Internet of Things (IoT)
  • Side-Channel Analysis (SCA) and countermeasures
  • Cryptography based on physical assumptions (PUFs)
  • Privacy-preserving computing
  • Computational anonymity
  • Electronic voting
  • Systems security

Professional experience

  • Aarhus University, 2020-Present

    Associate Professor

  • Aarhus University, 2018-2020

    Assistant Professor

  • University of Campinas, 2014-2018

    Assistant Professor

  • University of Brasilia, 2011-2014

    Assistant Professor

  • CertiVox/MIRACL, 2010-2011

    Consultant and contractor

Education

  • Ph.D. in Computer Science, 2007-2011

    Institute of Computing, University of Campinas

  • Visiting Ph.D. student, 2010-2011

    Combinatorics & Optimization, University of Waterloo

  • M.Sc. in Computer Science, 2005-2007

    Institute of Computing, University of Campinas

  • B.Sc. in Computer Science, 2000-2005

    Department of Computer Science, University of Brasilia

Recent Publications

See all publications

A Practical Framework for Verifiable Computation over Encrypted Data

The 3rd Annual FHE.org Conference on Fully Homomorphic Encryption (FHE.org 2024) 2024
BibTeX Video

Aggregating Falcon Signatures with LaBRADOR

CRYPTO (1) 2024
DOI PDF BibTeX

Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data

4th Workshop on Artificial Intelligence and Cryptography 2024
PDF BibTeX

Lattice-Based Homomorphic Encryption For Privacy-Preserving Smart Meter Data Analytics

The Computer Journal (TCJ) 2024
DOI PDF BibTeX

25th Conference on Cryptographic Hardware and Embedded Systems

IACR Transactions on Cryptographic Hardware and Embedded Systems 2023
PDF BibTeX

Invited and Contributed Talks

See all talks

A decade probing the Brazilian voting machine

Feb 14, 2024 CRC Seminar Series
Slides Video Project eVoting

Faster Constant-time Evaluation of the Kronecker Symbol with Application to Elliptic Curve Hashing

Slides Project RELIC

Posts

See all posts
Jun 20, 2018
[pt_BR] Registro físico do voto eletrônico?

Voto impresso pode tornar eleições mais seguras e transparentes
Sep 12, 2017
[pt_BR] A transparência do voto eletrônico no Brasil

Vantagens e limitações com a adoção de tecnologia livre nas eleições eletrônicas brasileiras

Projects

*
All Active
Residue Number Systems for Cryptography

Residue Number Systems for Cryptography

Faster secure cryptographic software

Publications External link
Mobile Security

Mobile Security

Security analysis of MitID and other mobile apps

Publications
Verifiable Cryptographic Software

Verifiable Cryptographic Software

High-assurance cryptography

Publications External link
Electronic Voting

Electronic Voting

Security analysis of the Brazilian voting machines

Publications External link
Blockchain Academy Network

Blockchain Academy Network

Training materials and use cases for secure blockchain applications

Publications External link
Crypto for IoT

Crypto for IoT

Efficient and Secure Cryptography for IoT

Publications
Encryption Policy

Encryption Policy

Strong/end-to-end encryption policy debate

Publications
Private ML

Private ML

Machine learning over encrypted data using homomorphic encryption

Publications External link
PUFs for SoCs

PUFs for SoCs

Physical Unclonable Functions for SoC Devices

Publications
SecExec

SecExec

Secure execution of cryptographic algorithms

Publications External link
YouInspect

YouInspect

Crowdsourced verification of election results

Publications External link
RELIC is an Efficient LIbrary for Cryptography

RELIC is an Efficient LIbrary for Cryptography

A meta-toolkit to build fast crypto libraries

Publications External link

Supervision

Currently (co-)supervised PhD students:

  • Marius Aardal (with Bas Spitters)
  • Adam Blatchley Hansen (co- with Jesper Buus Nielsen)

Past PhD students:

  • Antonio Guimarães Jr. (co- with Edson Borin), now a postdoc at IMDEA
  • Benjamin Salling Hvaas (with Bas Spitters), graduated 2023, now Security Architect at Alexandra Institute
  • Pedro Geraldo Morelli Rodrigues Alves, graduated 2023, now Senior GPU Engineer at Zama
  • Akira Takahashi (co- with Claudio Orlandi), graduated 2022, now Research Scientist at JP Morgan
  • Jheyne Nayara Ortiz (co- with Ricardo Dahab), graduated 2022, now Embedded Software Cryptographer at STMicroelectronics
  • Amanda Cristina Davi Resende, graduated 2021, now faculty at UFU
  • Narcise Bang Mbiang (co- with Emmanuel Fouotsa), graduated 2020
  • Caio Hoffman (co- with Guido Araujo and Mario Côrtes), graduated 2017, now Hardware Design Engineer at Intrinsic ID
  • Eduardo Moraes de Morais, (co- with Ricardo Dahab), graduated 2015, now Cryptographic Engineer at Lurk Lab

Past MSc. students:

Past Postdocs:

  • Karina Mochetti, now faculty at UBC

Service