Suivre
Sergio Maffeis
Sergio Maffeis
Senior Lecturer (Associate Professor) in Computer Security, Imperial College London
Adresse e-mail validée de doc.ic.ac.uk - Page d'accueil
Titre
Citée par
Citée par
Année
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
3112011
An Operational Semantics for JavaScript.
S Maffeis, JC Mitchell, A Taly
APLAS 8, 307-325, 2008
2212008
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
1902014
Object capabilities and isolation of untrusted web applications
S Maffeis, JC Mitchell, A Taly
2010 IEEE Symposium on Security and Privacy, 125-140, 2010
1552010
A trusted mechanised JavaScript specification
M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ...
ACM SIGPLAN Notices 49 (1), 87-100, 2014
1452014
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
1362012
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
1332009
Isolating JavaScript with filters, rewriting, and wrappers
S Maffeis, JC Mitchell, A Taly
Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009
962009
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
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
732005
An executable formal semantics of PHP
D Filaretti, S Maffeis
ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014
682014
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
Principles of Security and Trust: Second International Conference, POST 2013 …, 2013
532013
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
532007
Language-based Defenses Against Untrusted Browser Origins.
K Bhargavan, A Delignat-Lavaud, S Maffeis
Usenix security symposium, 653-670, 2013
522013
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
Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008
292008
An abstract interpretation framework for analysing mobile ambients
F Levi, S Maffeis
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001
262001
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20