Sergio Maffeis

According to our database, Sergio Maffeis authored at least 34 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities.

Rishi Rabheru, Hazim Hanif, Sergio Maffeis

CoRR, 2020

2019

Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks.

Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones

CoRR, 2019

Deep Latent Defence.

Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones

CoRR, 2019

Adversarial Machine Learning Beyond the Image Domain.

Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research.

Martín Barrère, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

2017

Abstract Domains for Type Juggling.

Vincenzo Arceri, Sergio Maffeis

Electron. Notes Theor. Comput. Sci., 2017

2015

BrowserAudit: automated testing of browser security features.

Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Discovering concrete attacks on website authorization by formal analysis.

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis

J. Comput. Secur., 2014

A trusted mechanised JavaScript specification.

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

An Executable Formal Semantics of PHP.

Daniele Filaretti, Sergio Maffeis

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013

Language-based Defenses Against Untrusted Browser Origins.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage.

Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis

Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Defensive JavaScript - Building and Verifying Secure Web Components.

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis

Proceedings of the Foundations of Security Analysis and Design VII, 2013

2012

Towards a program logic for JavaScript.

Philippa Gardner, Sergio Maffeis, Gareth David Smith

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Discovering Concrete Attacks on Website Authorization by Formal Analysis.

Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis

Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011

Refinement types for secure implementations.

Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2011

2010

Object Capabilities and Isolation of Untrusted Web Applications.

Sergio Maffeis, John C. Mitchell, Ankur Taly

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009

Isolating JavaScript with Filters, Rewriting, and Wrappers.

Sergio Maffeis, John C. Mitchell, Ankur Taly

Proceedings of the Computer Security, 2009

Language-Based Isolation of Untrusted JavaScript.

Sergio Maffeis, Ankur Taly

Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008

Behavioural equivalences for dynamic Web data.

Sergio Maffeis, Philippa Gardner

J. Log. Algebraic Methods Program., 2008

Code-Carrying Authorization.

Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon

Proceedings of the Computer Security, 2008

An Operational Semantics for JavaScript.

Sergio Maffeis, John C. Mitchell, Ankur Taly

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

A type discipline for authorization policies.

Cédric Fournet, Andrew D. Gordon, Sergio Maffeis

ACM Trans. Program. Lang. Syst., 2007

Matching Systems for Concurrent Calculi.

Bjørn Haagensen, Sergio Maffeis, Iain Phillips

Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

Dynamic Web Data and Process Calculi.

Sergio Maffeis

Bull. EATCS, 2007

A Type Discipline for Authorization in Distributed Systems.

Cédric Fournet, Andy Gordon, Sergio Maffeis

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Dynamic Web data : a process algebraic approach.

Sergio Maffeis

PhD thesis, 2006

Process Calculi and Peer-to-peer Web Data Integration.

Sergio Maffeis

Electron. Notes Theor. Comput. Sci., 2006

2005

Modelling dynamic web data.

Philippa Gardner, Sergio Maffeis

Theor. Comput. Sci., 2005

Sequence Types for the <i>pi</i>-calculus.

Sergio Maffeis

Electron. Notes Theor. Comput. Sci., 2005

2004

On abstract interpretation of Mobile Ambients.

Francesca Levi, Sergio Maffeis

Inf. Comput., 2004

2003

On the Computational Strength of Pure Ambient Calculi.

Sergio Maffeis, Iain Phillips

Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

2002

On the Expressive Power of Polyadic Synchronisation in pi-calculus.

Marco Carbone, Sergio Maffeis

Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

2001

An Abstract Interpretation Framework for Analysing Mobile Ambients.

Francesca Levi, Sergio Maffeis

Proceedings of the Static Analysis, 8th International Symposium, 2001