Sergio Maffeis

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 20

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Janvi Thakkar, Giulio Zizzo, Sergio Maffeis
Differentially Private and Adversarially Robust Machine Learning: An Empirical Evaluation. CoRR (2024)
Kate Highnam, Zach Hanif, Ellie Van Vogt, Sonali Parbhoo, Sergio Maffeis, Nicholas R. Jennings
Adaptive Experimental Design for Intrusion Data Collection. CoRR (2023)
Salim Al Wahaibi, Myles Foley, Sergio Maffeis
SQIRL: Grey-Box Detection of SQL Injection Vulnerabilities Using Reinforcement Learning. USENIX Security Symposium (2023)
Janvi Thakkar, Giulio Zizzo, Sergio Maffeis
Elevating Defenses: Bridging Adversarial Training and Watermarking for Model Resilience. CoRR (2023)
Hazim Hanif, Sergio Maffeis
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection. IJCNN (2022)
Myles Foley, Sergio Maffeis
Haxss: Hierarchical Reinforcement Learning for XSS Payload Generation. TrustCom (2022)
Rishi Rabheru, Hazim Hanif, Sergio Maffeis
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities. DSC (2022)
Hazim Hanif, Sergio Maffeis
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection. CoRR (2022)
Almuthanna Alageel, Sergio Maffeis
EarlyCrow: Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries. ISC (2022)
Almuthanna Alageel, Sergio Maffeis
Hawk-Eye: holistic detection of APT command and control domains. SAC (2021)
Rishi Rabheru, Hazim Hanif, Sergio Maffeis
DeepTective: detection of PHP vulnerabilities using hybrid graph neural networks. SAC (2021)
Giulio Zizzo, Ambrish Rawat, Mathieu Sinn, Sergio Maffeis, Chris Hankin
Certified Federated Adversarial Training. CoRR (2021)
Rishi Rabheru, Hazim Hanif, Sergio Maffeis
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities. CoRR (2020)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems. TrustCom (2020)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Adversarial Machine Learning Beyond the Image Domain. DAC (2019)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks. CoRR (2019)
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
Deep Latent Defence. CoRR (2019)
Martín Barrère, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research. RTCSA (2018)
Vincenzo Arceri, Sergio Maffeis
Abstract Domains for Type Juggling. Electron. Notes Theor. Comput. Sci. 331 (2017)
Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic
BrowserAudit: automated testing of browser security features. ISSTA (2015)
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
A trusted mechanised JavaScript specification. POPL (2014)
Daniele Filaretti, Sergio Maffeis
An Executable Formal Semantics of PHP. ECOOP (2014)
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Discovering concrete attacks on website authorization by formal analysis. J. Comput. Secur. 22 (4) (2014)
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. POST (2013)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Defensive JavaScript - Building and Verifying Secure Web Components. FOSAD (2013)
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
Language-based Defenses Against Untrusted Browser Origins. USENIX Security Symposium (2013)
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis
Discovering Concrete Attacks on Website Authorization by Formal Analysis. CSF (2012)
Philippa Gardner, Sergio Maffeis, Gareth David Smith
Towards a program logic for JavaScript. POPL (2012)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Sergio Maffeis, John C. Mitchell, Ankur Taly
Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy (2010)
Sergio Maffeis, Ankur Taly
Language-Based Isolation of Untrusted JavaScript. CSF (2009)
Sergio Maffeis, John C. Mitchell, Ankur Taly
Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS (2009)
Sergio Maffeis, John C. Mitchell, Ankur Taly
An Operational Semantics for JavaScript. APLAS (2008)
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
Code-Carrying Authorization. ESORICS (2008)
Sergio Maffeis, Philippa Gardner
Behavioural equivalences for dynamic Web data. J. Log. Algebraic Methods Program. 75 (1) (2008)
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
Refinement Types for Secure Implementations. CSF (2008)
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29 (5) (2007)
Bjørn Haagensen, Sergio Maffeis, Iain Phillips
Matching Systems for Concurrent Calculi. EXPRESS (2007)
Cédric Fournet, Andy Gordon, Sergio Maffeis
A Type Discipline for Authorization in Distributed Systems. CSF (2007)
Sergio Maffeis
Dynamic Web Data and Process Calculi. Bull. EATCS 93 (2007)
Sergio Maffeis
Process Calculi and Peer-to-peer Web Data Integration. Electron. Notes Theor. Comput. Sci. 162 (2006)
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
A Type Discipline for Authorization Policies. ESOP (2005)
Philippa Gardner, Sergio Maffeis
Modelling dynamic web data. Theor. Comput. Sci. 342 (1) (2005)
Sergio Maffeis, Iain Phillips
On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330 (3) (2005)
Sergio Maffeis
-calculus. Electron. Notes Theor. Comput. Sci. 136 (2005)
Francesca Levi, Sergio Maffeis
On abstract interpretation of Mobile Ambients. Inf. Comput. 188 (2) (2004)
Sergio Maffeis, Philippa Gardner
Behavioural Equivalences for Dynamic Web Data. IFIP TCS (2004)
Sergio Maffeis, Iain Phillips
On the Computational Strength of Pure Ambient Calculi. EXPRESS (2003)
Philippa Gardner, Sergio Maffeis
Modelling Dynamic Web Data. DBPL (2003)
Marco Carbone, Sergio Maffeis
On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10 (2) (2003)
Marco Carbone, Sergio Maffeis
On the Expressive Power of Polyadic Synchronisation in pi-calculus. EXPRESS (2002)
Francesca Levi, Sergio Maffeis
An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS (2001)

Sergio Maffeis.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sergio Maffeis