MAFFEI, Matteo
MAFFEI, Matteo
Dipartimento di Informatica (attivo dal 01/01/2002 al 31/12/2010)
A calculus of challenges and responses
2007-01-01 M., Backes; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
2017-01-01 Calzavara, Stefano; Grishchenko, Ilya; Koutsos, Adrien; Maffei, Matteo
Dynamic typing for security protocols
2006-03-21 Maffei, Matteo
Language-Based Web Session Integrity
2020-01-01 Calzavara, S.; Focardi, R.; Grimm, N.; Maffei, M.; Tempesta, M.
Micro-Policies for Web Session Security
2016-01-01 Calzavara, Stefano; Focardi, Riccardo; Grimm, Niklas; Maffei, Matteo
The Remote on the Local: Exacerbating Web Attacks Via Service Workers Caches
2021-01-01 Squarcina, M.; Calzavara, S.; Maffei, M.
Types for security protocols
2011-01-01 Focardi, Riccardo; Maffei, Matteo
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring
2018-01-01 Calzavara, Stefano; Focardi, Riccardo; Maffei, Matteo; Schneidewind, Clara; Squarcina, Marco; Tempesta, Mauro