research
∙
04/09/2019
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
We develop a new approach for building cryptographic implementations. Ou...
share
research
∙
11/16/2018
Deciding Indistinguishability
Computational indistinguishability is a key property in cryptography and...
research
∙
11/16/2018
The 5G-AKA Authentication Protocol Privacy
We study the 5G-AKA authentication protocol described in the 5G mobile c...
research
∙
05/30/2017