Matteo Maffei

发表

Matteo Maffei, 2016, SIGL.
Giulio Malavolta, Matteo Maffei, Manuel Reinert, 2019, J. Comput. Secur..
Véronique Cortier, Matteo Maffei, Niklas Grimm, 2017, CCS.
Riccardo Focardi, Matteo Maffei, 2004, Electron. Notes Theor. Comput. Sci..
Michael Backes, Sebastian Gerling, Matteo Maffei, 2012 .
Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2012, TGC.
Riccardo Focardi, Matteo Maffei, Stefano Calzavara, 2018, USENIX Security Symposium.
Gerhard Weikum, Michael Backes, Matteo Maffei, 2008, PODC '08.
Matteo Maffei, 2017, SIGL.
Matteo Maffei, Matteo Maffei, 2006 .
Véronique Cortier, Matteo Maffei, Niklas Grimm, 2017, ArXiv.
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, 2017, IACR Cryptol. ePrint Arch..
Aniket Kate, Matteo Maffei, Fabienne Eigner, 2014, IACR Cryptol. ePrint Arch..
Michael Backes, Dominique Unruh, Matteo Maffei, 2010, CCS '10.
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, 2019, NDSS.
Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2013, POST.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Aniket Kate, Matteo Maffei, Fabienne Eigner, 2014, ACSAC '14.
Matteo Maffei, Manuel Reinert, Dominique Schröder, 2017, CANS.
Giulio Malavolta, Matteo Maffei, Manuel Reinert, 2014, PODC '14.
Matteo Maffei, 2005, Electron. Notes Theor. Comput. Sci..
Matteo Maffei, 2014, SIGL.
Véronique Cortier, Matteo Maffei, Niklas Grimm, 2018, POST.
Michael Backes, Matteo Maffei, Esfandiar Mohammadi, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.
Matteo Maffei, Clara Schneidewind, Ilya Grishchenko, 2018, POST.
Michael Backes, Matteo Maffei, Stefan Lorenz, 2010 .
Michael Backes, Matteo Maffei, Kim Pecina, 2011, PODC '11.
Michael Backes, Sebastian Gerling, Matteo Maffei, 2013, TACAS.
Agostino Cortesi, Michael Backes, Riccardo Focardi, 2007, FMSE '07.
Gerhard Weikum, Michael Backes, Matteo Maffei, 2009, OTM Conferences.
Sherman S. M. Chow, Matteo Maffei, Manuel Reinert, 2018, USENIX Security Symposium.
Matteo Maffei, Stefano Calzavara, Ilya Grishchenko, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2015, ACM Trans. Program. Lang. Syst..
Riccardo Focardi, Matteo Maffei, 2011, Formal Models and Techniques for Analyzing Security Protocols.
Michael Backes, Dominique Unruh, Matteo Maffei, 2008, 2008 IEEE Symposium on Security and Privacy (sp 2008).
Matteo Maffei, Manuel Reinert, Kim Pecina, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Riccardo Focardi, Matteo Maffei, Stefano Calzavara, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).
Riccardo Focardi, Matteo Maffei, Francesco Placella, 2005, WITS '05.
Michael Backes, Matteo Maffei, Stefan Lorenz, 2010, PODC '10.
Gilles Barthe, Laura Kovács, Matteo Maffei, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).
Michele Bugliesi, Matteo Maffei, Stefano Calzavara, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2008, CCS.
Michael Backes, Matteo Maffei, Stefan Lorenz, 2008, CAV.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Michael Backes, Matteo Maffei, Stefan Lorenz, 2008 .
Matteo Maffei, Clara Schneidewind, Ilya Grishchenko, 2018, CAV.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2007, J. Comput. Secur..
Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2004, ESOP.
Michael Backes, Matteo Maffei, Kim Pecina, 2012, NDSS.
Michael Backes, Matteo Maffei, Kim Pecina, 2011, NDSS.
Matteo Maffei, 2017, SIGL.
Matteo Maffei, Kim Pecina, Matteo Maffei, 2011 .
Agostino Cortesi, Michael Backes, Matteo Maffei, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Paul Francis, Deepak Garg, Matteo Maffei, 2018, POST.
Michael Backes, Matteo Maffei, 2009, Security Protocols Workshop.
Matteo Maffei, Stefano Calzavara, Ilya Grishchenko, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
Michael Backes, Matteo Maffei, Raphael M. Reischuk, 2011, TOSCA.
Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2003, Ershov Memorial Conference.
Michael Backes, Sebastian Gerling, Matteo Maffei, 2013, DPM/SETOP.
Giulio Malavolta, Matteo Maffei, Manuel Reinert, 2017, ACNS.
Matteo Maffei, 2018, SIGL.
Véronique Cortier, Matteo Maffei, Steve Kremer, 2015, POST.
Giulio Malavolta, Matteo Maffei, Manuel Reinert, 2015, 2015 IEEE Symposium on Security and Privacy.
Pedro Moreno-Sanchez, Matteo Maffei, Christoph Egger, 2019, IACR Cryptol. ePrint Arch..
Michael Backes, Matteo Maffei, Stefan Lorenz, 2010, Privacy Enhancing Technologies.
Nikhil Swamy, Cédric Fournet, Catalin Hritcu, 2017, ArXiv.
Jonathan Katz, Giulio Malavolta, Matteo Maffei, 2017, CANS.
Reinhard Wilhelm, Matteo Maffei, 2010, SEUS.
Agostino Cortesi, Michael Backes, Matteo Maffei, 2007 .
Pedro Moreno-Sanchez, Matteo Maffei, Erkan Tairi, 2019, IACR Cryptol. ePrint Arch..
Matteo Maffei, Stefano Calzavara, Ilya Grishchenko, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Giulio Malavolta, Matteo Maffei, Mark Simkin, 2018, Proc. Priv. Enhancing Technol..
Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2004, FMSE '04.
Michael Backes, Catalin Hritcu, Matteo Maffei, 2011, TOSCA.
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, 2017, NDSS.
Aniket Kate, Michael Backes, Matteo Maffei, 2012, 2012 IEEE Symposium on Security and Privacy.
Giulio Malavolta, Pedro Moreno-Sanchez, Aniket Kate, 2018, IACR Cryptol. ePrint Arch..
Michele Bugliesi, Riccardo Focardi, Matteo Maffei, 2003 .
Matteo Maffei, Kim Pecina, Matteo Maffei, 2011, PLAS '11.
Michael Backes, Matteo Maffei, Esfandiar Mohammadi, 2010, FSTTCS.
Matteo Maffei, Fabienne Eigner, Matteo Maffei, 2013, 2013 IEEE 26th Computer Security Foundations Symposium.
Matteo Maffei, Stefano Calzavara, Marco Squarcina, 2021, 2021 IEEE Security and Privacy Workshops (SPW).
Pedro Moreno-Sanchez, Matteo Maffei, Erkan Tairi, 2021, 2021 IEEE Symposium on Security and Privacy (SP).
Matteo Maffei, Matteo Maffei, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).
Matteo Maffei, Stefano Calzavara, Marco Squarcina, 2021, USENIX Security Symposium.
Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, 2021, IACR Cryptol. ePrint Arch..
Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei, 2021, IACR Cryptol. ePrint Arch..
Matteo Maffei, Zeta Avarikioti, Sophie Rain, 2021, ArXiv.
Matteo Maffei, Benjamin Farinier, Marco Squarcina, 2022 .
Giulio Malavolta, Matteo Maffei, Sri Aravinda Krishnan Thyagarajan, 2021, IACR Cryptol. ePrint Arch..
Pedro Moreno-Sanchez, Johann Stockinger, Bernhard Haslhofer, 2021, ArXiv.