Matteo Maffei -

Registered user since Fri 11 Sep 2015

Name:Matteo Maffei

Affiliation:TU Wien

Personal website: https://secpriv.tuwien.ac.at/maffei

Research interests:Security and Privacy, Formal Methods

Contributions

2023

POPL

Committee Member in Program Committee within the POPL-track

2019

ETAPS

HCVS

Invited Speaker in Invited Speakers within the HCVS-track
Author of Invited Talk: Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts within the HCVS-track

2018

FMS

Committee Member in Program Committee within the FMS 2018-track

CPP

Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track

2016

POPL

2015

PLAS

Committee Member in Program Committee within the PLAS-track