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
2742011
An operational semantics for JavaScript
S Maffeis, JC Mitchell, A Taly
Asian Symposium on Programming Languages and Systems, 307-325, 2008
1952008
Discovering concrete attacks on website authorization by formal analysis 1
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
Journal of Computer Security 22 (4), 601-657, 2014
1582014
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
1352010
On the expressive power of polyadic synchronisation in π-calculus
M Carbone, S Maffeis
Electronic Notes in Theoretical Computer Science 68 (2), 15-32, 2002
1332002
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
1242012
Language-based isolation of untrusted Javascript
S Maffeis, A Taly
2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009
1232009
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
ACM SIGPLAN Notices 49 (1), 87-100, 2014
1042014
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
European Symposium on Research in Computer Security, 505-522, 2009
932009
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
922007
A type discipline for authorization policies
C Fournet, AD Gordon, S Maffeis
European Symposium on Programming, 141-156, 2005
752005
Modelling dynamic web data
P Gardner, S Maffeis
Theoretical Computer Science 342 (1), 104-131, 2005
562005
On the computational strength of pure ambient calculi
S Maffeis, I Phillips
Theoretical Computer Science 330 (3), 501-551, 2005
562005
Keys to the cloud: formal analysis and concrete attacks on encrypted web storage
C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis
International Conference on Principles of Security and Trust, 126-146, 2013
502013
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
472007
Language-based defenses against untrusted browser origins
K Bhargavan, A Delignat-Lavaud, S Maffeis
22nd {USENIX} Security Symposium ({USENIX} Security 13), 653-670, 2013
462013
An executable formal semantics of PHP
D Filaretti, S Maffeis
European Conference on Object-Oriented Programming, 567-592, 2014
442014
Run-time enforcement of secure javascript subsets
S Maffeis, JC Mitchell, A Taly
Proc of W2SP 9, 2009
302009
Code-carrying authorization
S Maffeis, M Abadi, C Fournet, AD Gordon
European Symposium on Research in Computer Security, 563-579, 2008
252008
An abstract interpretation framework for analysing mobile ambients
F Levi, S Maffeis
International Static Analysis Symposium, 395-411, 2001
252001
The system can't perform the operation now. Try again later.
Articles 1–20