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

POPL 2023	Committee Member in Program Committee within the POPL-track
ETAPS 2019	Author of ETAPS Steering committee meeting within the Social-track Committee Member in Steering Committee
HCVS 2019	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
FMS 2018	Committee Member in Program Committee within the FMS 2018-track
CPP 2018	Author of A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations within the CPP 2018-track
POPL 2016	Session Chair of Track 2: Sessions and processes (part of Research Papers) Committee Member in Program Committee Committee Member in Program Committee within the Research Papers-track Author of T6: Security and Privacy by Typing in Cryptographic Systems within the Tutorials-track
PLAS 2015	Committee Member in Program Committee within the PLAS-track