FB
Fabio Banfi
Cryptographer & Security Engineer

Fabio Banfi

Cryptographer & Security Engineer

Current:
Security Engineer
Location:
Zurich, CH

About

I work as a security engineer at Zühlke Engineering AG. Prior to that, I completed my PhD in the Cryptography and Information Security group at ETH Zurich under the supervision of Prof. Ueli Maurer. I hold a Bachelor's and Master's degree in Computer Science from ETH Zurich.

My research interests include composable security, anonymity, length-preserving encryption, anamorphic encryption, self-sovereign identity, and quantum cryptography.

Projects

zkGrid

This puzzle game uses zk-SNARKs to enable you to prove in zero-knowledge that you found the empty cell in a dotted grid, that is, without revealing its location. The proof is generated with Circom and snarkjs using the Groth16 proving system and is displayed as a QR code. Open the app on another device and select Verify to validate QR proofs. Zero-knowledge guarantees that the data in the QR code contains no information about the empty cell location.

Get the code!

Repartee

A simple word association game deployed as a dapp on the Internet Computer, where you guess a word that matches a given prompt and see how many others think like you. There is only one global instance of the game, and its state is shared among all players. Find common connections, or add new word pairs to expand the game and challenge others!

Get the code!

Publications

What Did Come Out of It? Analysis and Improvements of DIDComm Messaging (eprint)
Christian Badertscher, Fabio Banfi, and Jesus Diaz
ACM Conference on Computer and Communications Security – CCS 2024
Anamorphic Encryption, Revisited (eprint | slides)
Fabio Banfi, Konstantin Gegier, Martin Hirt, Ueli Maurer, and Guilherme Rito
Advances in Cryptology – EUROCRYPT 2024
SCB Mode: Semantically Secure Length-Preserving Encryption (eprint | slides)
Fabio Banfi
Fast Software Encryption – FSE 2023
Anonymous Authenticated Communication (eprint | slides)
Fabio Banfi and Ueli Maurer
Security and Cryptography for Networks – SCN 2022
Anonymous Symmetric-Key Communication (eprint | slides)
Fabio Banfi and Ueli Maurer
Security and Cryptography for Networks – SCN 2020
Composable and Finite Computational Security of Quantum Message Transmission (eprint | slides)
Fabio Banfi, Ueli Maurer, Christopher Portmann, and Jiamin Zhu
Theory of Cryptography – TCC 2019
A Constructive Perspective on Signcryption Security (eprint | slides)
Christian Badertscher, Fabio Banfi, and Ueli Maurer
Security and Cryptography for Networks – SCN 2018

Contact

Interested in collaboration? Drop me a message.