Sergio Maffeis

发表

Ankur Taly, John C. Mitchell, Sergio Maffeis, 2008, APLAS.
Sergio Maffeis, Daniele Filaretti, Daniele Filaretti, 2014, ECOOP.
Martín Abadi, Andrew D. Gordon, Cédric Fournet, 2008, ESORICS.
Sergio Maffeis, S. Maffeis, 2005, ITRS.
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2005, TOPL.
Philippa Gardner, Sergio Maffeis, S. Maffeis, 2008, J. Log. Algebraic Methods Program..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Sergio Maffeis, Iain Phillips, Bjørn Haagensen, 2007, EXPRESS.
Ankur Taly, John C. Mitchell, Sergio Maffeis, 2009, ESORICS.
Sergio Maffeis, Rishi Rabheru, Hazim Hanif, 2020, ArXiv.
Sergio Maffeis, Vincenzo Arceri, 2017, Electron. Notes Theor. Comput. Sci..
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, POST.
Ankur Taly, Sergio Maffeis, Ankur Taly, 2009, 2009 22nd IEEE Computer Security Foundations Symposium.
Philippa Gardner, Sergio Maffeis, P. Gardner, 2003, Theor. Comput. Sci..
Andrew D. Gordon, Cédric Fournet, Karthikeyan Bhargavan, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Sergio Maffeis, Marco Carbone, Marco Carbone, 2002, EXPRESS.
Sergio Maffeis, 2007, Bull. EATCS.
Martín Barrère, Thomas Parisini, Chris Hankin, 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Chris Hankin, Sergio Maffeis, Kevin Jones, 2019, ArXiv.
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
Chris Hankin, Sergio Maffeis, Giulio Zizzo, 2019, 2019 56th ACM/IEEE Design Automation Conference (DAC).
Philippa Gardner, Sergio Maffeis, 2003, DBPL.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, USENIX Security Symposium.
Ankur Taly, John C. Mitchell, Sergio Maffeis, 2010, 2010 IEEE Symposium on Security and Privacy.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013, FOSAD.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2014, J. Comput. Secur..
Sergio Maffeis, Francesca Levi, 2004, Inf. Comput..
Sergio Maffeis, S. Maffeis, 2006 .
Andrew D. Gordon, Cédric Fournet, Sergio Maffeis, 2005, ESOP.
Sergio Maffeis, Iain Phillips, S. Maffeis, 2004, EXPRESS.
Philippa Gardner, Sergio Maffeis, Gareth Smith, 2012, POPL '12.
Sergio Maffeis, Chris Novakovic, Charlie Hothersall-Thomas, 2015, ISSTA.
Philippa Gardner, Sergio Maffeis, 2008, J. Log. Algebraic Methods Program..
Chris Hankin, Kevin Jones, Sergio Maffeis, 2019, DAC.
Sergio Maffeis, S. Maffeis, 2006, APC 25.
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis, 2013 .
Sergio Maffeis, Iain Phillips, 2005, Theor. Comput. Sci..
Arthur Charguéraud, Philippa Gardner, Sergio Maffeis, 2014, POPL.
Sergio Maffeis, Rishi Rabheru, Hazim Hanif, 2021, SAC.
Chris Hankin, Sergio Maffeis, Mathieu Sinn, 2021, ArXiv.
Sergio Maffeis, Almuthanna Alageel, 2021, SAC.