Sergio Maffeis

Orcid: 0000-0003-1514-6857

Affiliations:
  • Imperial College London, UK


According to our database1, Sergio Maffeis authored at least 45 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Differentially Private and Adversarially Robust Machine Learning: An Empirical Evaluation.
CoRR, 2024

2023
Elevating Defenses: Bridging Adversarial Training and Watermarking for Model Resilience.
CoRR, 2023

SQIRL: Grey-Box Detection of SQL Injection Vulnerabilities Using Reinforcement Learning.
Proceedings of the 32nd USENIX Security Symposium, 2023

Adaptive Experimental Design for Intrusion Data Collection.
Proceedings of the Conference on Applied Machine Learning in Information Security, 2023

2022
Haxss: Hierarchical Reinforcement Learning for XSS Payload Generation.
Proceedings of the IEEE International Conference on Trust, 2022

EarlyCrow: Detecting APT Malware Command and Control over HTTP(S) Using Contextual Summaries.
Proceedings of the Information Security - 25th International Conference, 2022

VulBERTa: Simplified Source Code Pre-Training for Vulnerability Detection.
Proceedings of the International Joint Conference on Neural Networks, 2022

A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities.
Proceedings of the IEEE Conference on Dependable and Secure Computing, 2022

2021
Certified Federated Adversarial Training.
CoRR, 2021

DeepTective: detection of PHP vulnerabilities using hybrid graph neural networks.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Hawk-Eye: holistic detection of APT command and control domains.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2020
Adversarial Attacks on Time-Series Intrusion Detection for Industrial Control Systems.
Proceedings of the 19th IEEE International Conference on Trust, 2020

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

Deep Latent Defence.
CoRR, 2019

Adversarial Machine Learning Beyond the Image Domain.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
CPS-MT: A Real-Time Cyber-Physical System Monitoring Tool for Security Research.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

2016
Abstract Domains for Type Juggling.
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016

2015
BrowserAudit: automated testing of browser security features.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014
Discovering concrete attacks on website authorization by formal analysis.
J. Comput. Secur., 2014

A trusted mechanised JavaScript specification.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

An Executable Formal Semantics of PHP.
Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2013
Language-based Defenses Against Untrusted Browser Origins.
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.
Proceedings of the Principles of Security and Trust - Second International Conference, 2013

Defensive JavaScript - Building and Verifying Secure Web Components.
Proceedings of the Foundations of Security Analysis and Design VII, 2013

2012
Towards a program logic for JavaScript.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Discovering Concrete Attacks on Website Authorization by Formal Analysis.
Proceedings of the 25th IEEE Computer Security Foundations Symposium, 2012

2011
Refinement types for secure implementations.
ACM Trans. Program. Lang. Syst., 2011

2010
Object Capabilities and Isolation of Untrusted Web Applications.
Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2009
Isolating JavaScript with Filters, Rewriting, and Wrappers.
Proceedings of the Computer Security, 2009

Language-Based Isolation of Untrusted JavaScript.
Proceedings of the 22nd IEEE Computer Security Foundations Symposium, 2009

2008
Behavioural equivalences for dynamic Web data.
J. Log. Algebraic Methods Program., 2008

Code-Carrying Authorization.
Proceedings of the Computer Security, 2008

An Operational Semantics for JavaScript.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007
A type discipline for authorization policies.
ACM Trans. Program. Lang. Syst., 2007

Matching Systems for Concurrent Calculi.
Proceedings of the 14th International Workshop on Expressiveness in Concurrency, 2007

Dynamic Web Data and Process Calculi.
Bull. EATCS, 2007

A Type Discipline for Authorization in Distributed Systems.
Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006
Dynamic Web data : a process algebraic approach.
PhD thesis, 2006

2005
Modelling dynamic web data.
Theor. Comput. Sci., 2005

Process Calculi and Peer-to-peer Web Data Integration.
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

2004
On abstract interpretation of Mobile Ambients.
Inf. Comput., 2004

Sequence Types for the <i>pi</i>-calculus.
Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

2003
On the Computational Strength of Pure Ambient Calculi.
Proceedings of the 10th International Workshop on Expressiveness in Concurrency, 2003

2002
On the Expressive Power of Polyadic Synchronisation in pi-calculus.
Proceedings of the 9th International Workshop on Expressiveness in Concurrency, 2002

2001
An Abstract Interpretation Framework for Analysing Mobile Ambients.
Proceedings of the Static Analysis, 8th International Symposium, 2001


  Loading...