Matteo Maffei

Registered user since Fri 11 Sep 2015

Name: Matteo Maffei

Affiliation: Saarland University

Personal website: https://www.sps.cs.uni-saarland.de/maffei/

Research interests: Security and Privacy, Formal Methods

Contributions

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