Seguir
Sergio Maffeis
Sergio Maffeis
Senior Lecturer (Associate Professor) in Computer Security, Imperial College London
Dirección de correo verificada de doc.ic.ac.uk - Página principal
Título
Citado por
Citado por
Año
Refinement types for secure implementations
J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 1-45, 2011
3342011
An operational semantics for JavaScript
S Maffeis, JC Mitchell, A Taly
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
2332008
Discovering concrete attacks on website authorization by formal analysis
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Journal of Computer Security 22 (4), 601-657, 2014
2192014
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
1762014
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
1592010
Towards a program logic for JavaScript
PA Gardner, S Maffeis, GD Smith
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
1442012
On the expressive power of polyadic synchronisation in pi-calculus
M Carbone, S Maffeis
Nord. J. Comput. 10 (2), 70-98, 2003
1432003
Language-based isolation of untrusted Javascript
S Maffeis, A Taly
2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009
1382009
Vulberta: Simplified source code pre-training for vulnerability detection
H Hanif, S Maffeis
2022 International joint conference on neural networks (IJCNN), 1-8, 2022
1212022
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1012009
A type discipline for authorization in distributed systems
C Fournet, A Gordon, S Maffeis
20th IEEE Computer Security Foundations Symposium (CSF'07), 31-48, 2007
952007
A type discipline for authorization policies
C Fournet, AD Gordon, S Maffeis
European Symposium on Programming, 141-156, 2005
752005
An executable formal semantics of PHP
D Filaretti, S Maffeis
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
732014
A type discipline for authorization policies
C Fournet, AD Gordon, S Maffeis
ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (5), 25-es, 2007
572007
Modelling dynamic web data
P Gardner, S Maffeis
Theoretical Computer Science 342 (1), 104-131, 2005
572005
Language-based defenses against untrusted browser origins
K Bhargavan, A Delignat-Lavaud, S Maffeis
22nd USENIX Security Symposium (USENIX Security 13), 653-670, 2013
562013
On the computational strength of pure ambient calculi
S Maffeis, I Phillips
Theoretical Computer Science 330 (3), 501-551, 2005
552005
Keys to the cloud: Formal analysis and concrete attacks on encrypted web storage
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Principles of Security and Trust: Second International Conference, POST 2013 …, 2013
542013
Adversarial machine learning beyond the image domain
G Zizzo, C Hankin, S Maffeis, K Jones
Proceedings of the 56th Annual Design Automation Conference 2019, 1-4, 2019
452019
Adversarial attacks on time-series intrusion detection for industrial control systems
G Zizzo, C Hankin, S Maffeis, K Jones
2020 IEEE 19th international conference on trust, security and privacy in …, 2020
322020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20