Publications
VerLoc: Verifiable Localization in Decentralized Systems
Kohls, Katharina, and Claudia Diaz. 31st USENIX Security Symposium (USENIX Security 22). 2022.
Optimizing registration based encryption
Cong, Kelong, Karim Eldefrawy, and Nigel P. Smart. IMA International Conference on Cryptography and Coding. Cham: Springer International Publishing, 2021.
Zaphod: Efficiently combining LSSS and garbled circuits in SCALE
Aly, Abdelrahaman, et al. Proceedings of the 7th ACM Workshop on Encrypted Computing & Applied Homomorphic Cryptography. 2019.
Distributing any elliptic curve based protocol
Smart, Nigel P., and Younes Talibi Alaoui. IMA International Conference on Cryptography and Coding. Cham: Springer International Publishing, 2019.
TaaS: Commodity MPC via Triples-as-a-Service
Smart, Nigel P., and Titouan Tanguy. Proceedings of the 2019 ACM SIGSAC conference on cloud computing security workshop. 2019.
Mixim: A general purpose simulator for mixnet
Guirat, Iness Ben, Devashish Gosain, and Claudia Diaz. Privacy Enhancing Technologies Symposium–HotPETs Workshop. 2020.