Travelled to:1 × Italy
1 × Spain
1 × USA
Collaborated with:M.Backes M.Bugliesi R.Focardi I.Grishchenko C.Schneidewind S.Lorenz K.Pecina S.Gerling C.Hammer P.v.Styp-Rekowsky
Talks about:analysi (3) protocol (2) tool (2) app (2) ethereum (1) contract (1) composit (1) abstract (1) foundat (1) authent (1)
Person: Matteo Maffei
DBLP: Maffei:Matteo
Contributed to:
2013
2008
20042018Wrote 4 papers:
- TACAS-2013-BackesGHMS #android #named #requirements
- AppGuard — Enforcing User Requirements on Android Apps (MB, SG, CH, MM, PvSR), pp. 543–548.
- CAV-2008-BackesLMP #abstraction #analysis #protocol #security
- The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis (MB, SL, MM, KP), pp. 419–422.
- ESOP-2004-BugliesiFM #analysis #authentication #composition #protocol
- Compositional Analysis of Authentication Protocols (MB, RF, MM), pp. 140–154.
- CAV-2018-GrishchenkoMS #contract #static analysis #tool support
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts (IG, MM, CS), pp. 51–78.