Matteo Maffei - POPL 2018

Sun 7 - Sat 13 January 2018 Los Angeles, California, United States

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

2018

CPP

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