• Sign in
  • Sign up
conf.researchr.org / Matteo Maffei
  • ECOOP 2015 profile
  • ETAPS 2019 profile
  • PLDI 2018 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2023 profile
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

  • Author of ETAPS Steering committee meeting within the Social-track
  • Committee Member in Steering Committee

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

  • 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

2015

PLAS

  • Committee Member in Program Committee within the PLAS-track
Share
xFri 23 May 04:09
using conf.researchr.org (v1.69.0)
Support page
Sign Up