Follow
Sergio Maffeis
Sergio Maffeis
Senior Lecturer (Associate Professor) in Computer Security, Imperial College London
Verified email at doc.ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
3222011
An operational semantics for JavaScript
S Maffeis, JC Mitchell, A Taly
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
2292008
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
2082014
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
1622014
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
1582010
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
1392012
On the expressive power of polyadic synchronisation in pi-calculus
M Carbone, S Maffeis
Nord. J. Comput. 10 (2), 70-98, 2003
1362003
Language-based isolation of untrusted Javascript
S Maffeis, A Taly
2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009
1352009
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
1002009
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
942007
A type discipline for authorization policies
C Fournet, AD Gordon, S Maffeis
European Symposium on Programming, 141-156, 2005
762005
An executable formal semantics of PHP
D Filaretti, S Maffeis
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
742014
Modelling dynamic web data
P Gardner, S Maffeis
Theoretical Computer Science 342 (1), 104-131, 2005
572005
On the computational strength of pure ambient calculi
S Maffeis, I Phillips
Theoretical Computer Science 330 (3), 501-551, 2005
572005
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
562013
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
562007
Language-based defenses against untrusted browser origins
K Bhargavan, A Delignat-Lavaud, S Maffeis
22nd USENIX Security Symposium (USENIX Security 13), 653-670, 2013
532013
Vulberta: Simplified source code pre-training for vulnerability detection
H Hanif, S Maffeis
2022 International joint conference on neural networks (IJCNN), 1-8, 2022
472022
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
392019
Run-time enforcement of secure javascript subsets
S Maffeis, JC Mitchell, A Taly
Proc of W2SP 9, 2009
312009
The system can't perform the operation now. Try again later.
Articles 1–20