Sergio Maffeis

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Hybrid Graph Neural Network Approach for Detecting PHP Vulnerabilities.
CoRR, 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

2017
Abstract Domains for Type Juggling.
Electron. Notes Theor. Comput. Sci., 2017

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

Process Calculi and Peer-to-peer Web Data Integration.
Electron. Notes Theor. Comput. Sci., 2006

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

Sequence Types for the <i>pi</i>-calculus.
Electron. Notes Theor. Comput. Sci., 2005

2004
On abstract interpretation of Mobile Ambients.
Inf. Comput., 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...