default search action
Sergio Maffeis
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c38]Fahad Alotaibi, Sergio Maffeis:
Mateen: Adaptive Ensemble Learning for Network Anomaly Detection. RAID 2024: 215-234 - [c37]Fahad Alotaibi, Sergio Maffeis:
Rasd: Semantic Shift Detection and Adaptation for Network Intrusion Detection. SEC 2024: 16-30 - [i8]Janvi Thakkar, Giulio Zizzo, Sergio Maffeis:
Differentially Private and Adversarially Robust Machine Learning: An Empirical Evaluation. CoRR abs/2401.10405 (2024) - 2023
- [c36]Kate Highnam, Zach Hanif, Ellie Van Vogt, Sonali Parbhoo, Sergio Maffeis, Nicholas R. Jennings:
Adaptive Experimental Design for Intrusion Data Collection. CAMLIS 2023: 134-151 - [c35]Salim Al Wahaibi, Myles Foley, Sergio Maffeis:
SQIRL: Grey-Box Detection of SQL Injection Vulnerabilities Using Reinforcement Learning. USENIX Security Symposium 2023: 6097-6114 - [i7]Kate Highnam, Zach Hanif, Ellie Van Vogt, Sonali Parbhoo, Sergio Maffeis, Nicholas R. Jennings:
Adaptive Experimental Design for Intrusion Data Collection. CoRR abs/2310.13224 (2023) - [i6]Janvi Thakkar, Giulio Zizzo, Sergio Maffeis:
Elevating Defenses: Bridging Adversarial Training and Watermarking for Model Resilience. CoRR abs/2312.14260 (2023) - 2022
- [c34]Rishi Rabheru, Hazim Hanif, Sergio Maffeis:
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities. DSC 2022: 1-9 - [c33]Hazim Hanif, Sergio Maffeis:
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection. IJCNN 2022: 1-8 - [c32]Almuthanna Alageel, Sergio Maffeis:
EarlyCrow: Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries. ISC 2022: 290-316 - [c31]Myles Foley, Sergio Maffeis:
Haxss: Hierarchical Reinforcement Learning for XSS Payload Generation. TrustCom 2022: 147-158 - [i5]Hazim Hanif, Sergio Maffeis:
VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection. CoRR abs/2205.12424 (2022) - 2021
- [c30]Almuthanna Alageel, Sergio Maffeis:
Hawk-Eye: holistic detection of APT command and control domains. SAC 2021: 1664-1673 - [c29]Rishi Rabheru, Hazim Hanif, Sergio Maffeis:
DeepTective: detection of PHP vulnerabilities using hybrid graph neural networks. SAC 2021: 1687-1690 - [i4]Giulio Zizzo, Ambrish Rawat, Mathieu Sinn, Sergio Maffeis, Chris Hankin:
Certified Federated Adversarial Training. CoRR abs/2112.10525 (2021) - 2020
- [c28]Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones:
Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems. TrustCom 2020: 899-910 - [i3]Rishi Rabheru, Hazim Hanif, Sergio Maffeis:
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities. CoRR abs/2012.08835 (2020)
2010 – 2019
- 2019
- [c27]Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones:
Adversarial Machine Learning Beyond the Image Domain. DAC 2019: 176 - [i2]Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones:
Deep Latent Defence. CoRR abs/1910.03916 (2019) - [i1]Giulio Zizzo, Chris Hankin, Sergio Maffeis, Kevin Jones:
Intrusion Detection for Industrial Control Systems: Evaluation Analysis and Adversarial Attacks. CoRR abs/1911.04278 (2019) - 2018
- [c26]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: 240-241 - 2016
- [c25]Vincenzo Arceri, Sergio Maffeis:
Abstract Domains for Type Juggling. NSAD@SAS 2016: 41-55 - 2015
- [c24]Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic:
BrowserAudit: automated testing of browser security features. ISSTA 2015: 37-47 - 2014
- [j9]Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Discovering concrete attacks on website authorization by formal analysis. J. Comput. Secur. 22(4): 601-657 (2014) - [c23]Daniele Filaretti, Sergio Maffeis:
An Executable Formal Semantics of PHP. ECOOP 2014: 567-592 - [c22]Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith:
A trusted mechanised JavaScript specification. POPL 2014: 87-100 - 2013
- [c21]Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Defensive JavaScript - Building and Verifying Secure Web Components. FOSAD 2013: 88-123 - [c20]Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage. POST 2013: 126-146 - [c19]Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis:
Language-based Defenses Against Untrusted Browser Origins. USENIX Security Symposium 2013: 653-670 - 2012
- [c18]Chetan Bansal, Karthikeyan Bhargavan, Sergio Maffeis:
Discovering Concrete Attacks on Website Authorization by Formal Analysis. CSF 2012: 247-262 - [c17]Philippa Gardner, Sergio Maffeis, Gareth David Smith:
Towards a program logic for JavaScript. POPL 2012: 31-44 - [e1]Sergio Maffeis, Tamara Rezk:
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012. ACM 2012, ISBN 978-1-4503-1441-1 [contents] - 2011
- [j8]Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
Refinement types for secure implementations. ACM Trans. Program. Lang. Syst. 33(2): 8:1-8:45 (2011) - 2010
- [c16]Sergio Maffeis, John C. Mitchell, Ankur Taly:
Object Capabilities and Isolation of Untrusted Web Applications. IEEE Symposium on Security and Privacy 2010: 125-140
2000 – 2009
- 2009
- [c15]Sergio Maffeis, Ankur Taly:
Language-Based Isolation of Untrusted JavaScript. CSF 2009: 77-91 - [c14]Sergio Maffeis, John C. Mitchell, Ankur Taly:
Isolating JavaScript with Filters, Rewriting, and Wrappers. ESORICS 2009: 505-522 - 2008
- [j7]Sergio Maffeis, Philippa Gardner:
Behavioural equivalences for dynamic Web data. J. Log. Algebraic Methods Program. 75(1): 86-138 (2008) - [c13]Sergio Maffeis, John C. Mitchell, Ankur Taly:
An Operational Semantics for JavaScript. APLAS 2008: 307-325 - [c12]Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
Refinement Types for Secure Implementations. CSF 2008: 17-32 - [c11]Sergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon:
Code-Carrying Authorization. ESORICS 2008: 563-579 - 2007
- [j6]Sergio Maffeis:
Dynamic Web Data and Process Calculi. Bull. EATCS 93: 76-97 (2007) - [j5]Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5): 25 (2007) - [c10]Cédric Fournet, Andy Gordon, Sergio Maffeis:
A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48 - [c9]Bjørn Haagensen, Sergio Maffeis, Iain Phillips:
Matching Systems for Concurrent Calculi. EXPRESS 2007: 85-99 - 2006
- [b1]Sergio Maffeis:
Dynamic Web data : a process algebraic approach. Imperial College London, UK, 2006 - 2005
- [j4]Sergio Maffeis, Iain Phillips:
On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330(3): 501-551 (2005) - [j3]Philippa Gardner, Sergio Maffeis:
Modelling dynamic web data. Theor. Comput. Sci. 342(1): 104-131 (2005) - [c8]Cédric Fournet, Andrew D. Gordon, Sergio Maffeis:
A Type Discipline for Authorization Policies. ESOP 2005: 141-156 - [c7]Sergio Maffeis:
Process Calculi and Peer-to-peer Web Data Integration. APC 25 2005: 233-236 - 2004
- [j2]Francesca Levi, Sergio Maffeis:
On abstract interpretation of Mobile Ambients. Inf. Comput. 188(2): 179-240 (2004) - [c6]Sergio Maffeis, Philippa Gardner:
Behavioural Equivalences for Dynamic Web Data. IFIP TCS 2004: 535-548 - [c5]Sergio Maffeis:
Sequence Types for the pi-calculus. ITRS 2004: 117-132 - 2003
- [j1]Marco Carbone, Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003) - [c4]Philippa Gardner, Sergio Maffeis:
Modelling Dynamic Web Data. DBPL 2003: 130-146 - [c3]Sergio Maffeis, Iain Phillips:
On the Computational Strength of Pure Ambient Calculi. EXPRESS 2003: 29-49 - 2002
- [c2]Marco Carbone, Sergio Maffeis:
On the Expressive Power of Polyadic Synchronisation in pi-calculus. EXPRESS 2002: 15-32 - 2001
- [c1]Francesca Levi, Sergio Maffeis:
An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS 2001: 395-411
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint