Sergio Maffeis

71 papers A* 9A 11B 6C 1Misc 3Journal 27Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Blue Teaming Function-Calling Agents.
CoRR
Greta Dolcetti, Giulio Zizzo, Sergio Maffeis
2026 J jnl
Helping LLMs improve code generation using feedback from testing and static analysis.
Discov. Artif. Intell.
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2026 J jnl
Investigation of advanced persistent threats network-based tactics, techniques and procedures.
Comput. Networks
Almuthanna Alageel, Sergio Maffeis
2025 A* conf
APIRL: Deep Reinforcement Learning for REST API Fuzzing.
AAAI
Myles Foley, Sergio Maffeis
2025 A conf
Clouseau: A Hierarchical Multi-Agent Approach for Autonomous Attack Investigation.
ACSAC
Abdullah Aldaihan, Fahad Alotaibi, Sergio Maffeis
2025 J jnl
Clutch Control: An Attention-based Combinatorial Bandit for Efficient Mutation in JavaScript Engine Fuzzing.
CoRR
Myles Foley, Sergio Maffeis, Muhammad Fakhrur Rozi, Takeshi Takahashi
2025 A* conf
Deep Learning from Imperfectly Labeled Malware Data.
CCS
Fahad Alotaibi, Euan Goodbrand, Sergio Maffeis
2025 J jnl
Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries.
CoRR
Almuthanna Alageel, Sergio Maffeis, Imperial College London
2025 J jnl
Investigation of Advanced Persistent Threats Network-based Tactics, Techniques and Procedures.
CoRR
Almuthanna Alageel, Sergio Maffeis, Imperial College London
2025 J jnl
KnowML: Improving Generalization of ML-NIDS with Attack Knowledge Graphs.
CoRR
Xin Fan Guo, Albert Meroño-Peñuela, Sergio Maffeis, Fabio Pierazzi
2025 A* conf
Poster: Randomness Unmasked: Towards Reproducible and Fair Evaluation of Shift-Aware Deep Learning NIDS.
CCS
Lucy Steele, Fahad Alotaibi, Sergio Maffeis
2024 J jnl
APIRL: Deep Reinforcement Learning for REST API Fuzzing.
CoRR
Myles Foley, Sergio Maffeis
2024 J jnl
Differentially Private and Adversarially Robust Machine Learning: An Empirical Evaluation.
CoRR
Janvi Thakkar, Giulio Zizzo, Sergio Maffeis
2024 J jnl
HarmLevelBench: Evaluating Harm-Level Compliance and the Impact of Quantization on Model Alignment.
CoRR
Yannis Belkhiter, Giulio Zizzo, Sergio Maffeis
2024 J jnl
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis.
CoRR
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2024 A conf
Mateen: Adaptive Ensemble Learning for Network Anomaly Detection.
RAID
Fahad M. Alotaibi, Sergio Maffeis
2024 Misc conf
Rasd: Semantic Shift Detection and Adaptation for Network Intrusion Detection.
SEC
Fahad M. Alotaibi, Sergio Maffeis
2023 — conf
Adaptive Experimental Design for Intrusion Data Collection.
CAMLIS
Kate Highnam, Zach Hanif, Ellie Van Vogt, Sonali Parbhoo, Sergio Maffeis, Nicholas R. Jennings
2023 J jnl
Adaptive Experimental Design for Intrusion Data Collection.
CoRR
Kate Highnam, Zach Hanif, Ellie Van Vogt, Sonali Parbhoo, Sergio Maffeis, Nicholas R. Jennings
2023 J jnl
Elevating Defenses: Bridging Adversarial Training and Watermarking for Model Resilience.
CoRR
Janvi Thakkar, Giulio Zizzo, Sergio Maffeis
2023 A* conf
SQIRL: Grey-Box Detection of SQL Injection Vulnerabilities Using Reinforcement Learning.
USENIX Security Symposium
Salim Al Wahaibi, Myles Foley, Sergio Maffeis
2022 — conf
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities.
DSC
Rishi Rabheru, Hazim Hanif, Sergio Maffeis
2022 C conf
EarlyCrow: Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries.
ISC
Almuthanna Alageel, Sergio Maffeis
2022 B conf
Haxss: Hierarchical Reinforcement Learning for XSS Payload Generation.
TrustCom
Myles Foley, Sergio Maffeis
2022 B conf
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection.
IJCNN
Hazim Hanif, Sergio Maffeis
2022 J jnl
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection.
CoRR
Hazim Hanif, Sergio Maffeis
2021 J jnl
Certified Federated Adversarial Training.
CoRR
Giulio Zizzo, Ambrish Rawat, Mathieu Sinn, Sergio Maffeis, Chris Hankin
2021 Misc conf
DeepTective: detection of PHP vulnerabilities using hybrid graph neural networks.
SAC
Rishi Rabheru, Hazim Hanif, Sergio Maffeis
2021 Misc conf
Hawk-Eye: holistic detection of APT command and control domains.
SAC
Almuthanna Alageel, Sergio Maffeis
2020 J jnl
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities.
CoRR
Rishi Rabheru, Hazim Hanif, Sergio Maffeis
2020 B conf
Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems.
TrustCom
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2019 A* conf
Adversarial Machine Learning Beyond the Image Domain.
DAC
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2019 J jnl
Deep Latent Defence.
CoRR
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2019 J jnl
Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks.
CoRR
Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones
2018 B conf
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research.
RTCSA
Martín Barrère, Chris Hankin, Angelo Barboni, Giulio Zizzo, Francesca Boem, Sergio Maffeis, Thomas Parisini
2016 — conf
Abstract Domains for Type Juggling.
NSAD@SAS
Vincenzo Arceri, Sergio Maffeis
2015 A conf
BrowserAudit: automated testing of browser security features.
ISSTA
Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic
2014 A* conf
A trusted mechanised JavaScript specification.
POPL
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith
2014 A conf
An Executable Formal Semantics of PHP.
ECOOP
Daniele Filaretti, Sergio Maffeis
2014 J jnl
Discovering concrete attacks on website authorization by formal analysis.
J. Comput. Secur.
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
2013 — conf
Defensive JavaScript - Building and Verifying Secure Web Components.
FOSAD
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
2013 — conf
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage.
POST
Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
2013 A* conf
Language-based Defenses Against Untrusted Browser Origins.
USENIX Security Symposium
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
2012 A conf
Discovering Concrete Attacks on Website Authorization by Formal Analysis.
CSF
Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis
2012 — ed.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012
PLAS
Sergio Maffeis, Tamara Rezk
2012 A* conf
Towards a program logic for JavaScript.
POPL
Philippa Gardner, Sergio Maffeis, Gareth David Smith
2011 J jnl
Refinement types for secure implementations.
ACM Trans. Program. Lang. Syst.
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2010 A* conf
Object Capabilities and Isolation of Untrusted Web Applications.
IEEE Symposium on Security and Privacy
Sergio Maffeis, John C. Mitchell, Ankur Taly
2009 A conf
Isolating JavaScript with Filters, Rewriting, and Wrappers.
ESORICS
Sergio Maffeis, John C. Mitchell, Ankur Taly
2009 A conf
Language-Based Isolation of Untrusted JavaScript.
CSF
Sergio Maffeis, Ankur Taly
2008 B conf
An Operational Semantics for JavaScript.
APLAS
Sergio Maffeis, John C. Mitchell, Ankur Taly
2008 J jnl
Behavioural equivalences for dynamic Web data.
J. Log. Algebraic Methods Program.
Sergio Maffeis, Philippa Gardner
2008 A conf
Code-Carrying Authorization.
ESORICS
Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon
2008 A conf
Refinement Types for Secure Implementations.
CSF
Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2007 A conf
A Type Discipline for Authorization in Distributed Systems.
CSF
Cédric Fournet, Andy Gordon, Sergio Maffeis
2007 J jnl
A type discipline for authorization policies.
ACM Trans. Program. Lang. Syst.
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2007 J jnl
Dynamic Web Data and Process Calculi.
Bull. EATCS
Sergio Maffeis
2007 — conf
Matching Systems for Concurrent Calculi.
EXPRESS
Bjørn Haagensen, Sergio Maffeis, Iain Phillips
2006 — —
Dynamic Web data : a process algebraic approach.
Sergio Maffeis
2005 A conf
A Type Discipline for Authorization Policies.
ESOP
Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
2005 J jnl
Modelling dynamic web data.
Theor. Comput. Sci.
Philippa Gardner, Sergio Maffeis
2005 J jnl
On the computational strength of pure ambient calculi.
Theor. Comput. Sci.
Sergio Maffeis, Iain Phillips
2005 — conf
Process Calculi and Peer-to-peer Web Data Integration.
APC 25
Sergio Maffeis
2004 — conf
Behavioural Equivalences for Dynamic Web Data.
IFIP TCS
Sergio Maffeis, Philippa Gardner
2004 J jnl
On abstract interpretation of Mobile Ambients.
Inf. Comput.
Francesca Levi, Sergio Maffeis
2004 — conf
Sequence Types for the
ITRS
Sergio Maffeis
2003 — conf
Modelling Dynamic Web Data.
DBPL
Philippa Gardner, Sergio Maffeis
2003 — conf
On the Computational Strength of Pure Ambient Calculi.
EXPRESS
Sergio Maffeis, Iain Phillips
2003 J jnl
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Nord. J. Comput.
Marco Carbone, Sergio Maffeis
2002 — conf
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
EXPRESS
Marco Carbone, Sergio Maffeis
2001 B conf
An Abstract Interpretation Framework for Analysing Mobile Ambients.
SAS
Francesca Levi, Sergio Maffeis