Matteo Maffei

Registered user since Fri 11 Sep 2015

Name: Matteo Maffei

Affiliation: Saarland University

Personal website:

Research interests: Security and Privacy, Formal Methods


CPP 2018 A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations
Show activities from other conferences

POPL 2018-profile
View general profile