| 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 | 301 | 2011 |
| An operational semantics for JavaScript S Maffeis, JC Mitchell, A Taly Asian Symposium on Programming Languages and Systems, 307-325, 2008 | 218 | 2008 |
| 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 | 183 | 2014 |
| Object capabilities and isolation of untrusted web applications S Maffeis, JC Mitchell, A Taly 2010 IEEE Symposium on Security and Privacy, 125-140, 2010 | 153 | 2010 |
| A trusted mechanised JavaScript specification M Bodin, A Charguéraud, D Filaretti, P Gardner, S Maffeis, ... ACM SIGPLAN Notices 49 (1), 87-100, 2014 | 133 | 2014 |
| On the expressive power of polyadic synchronisation in π-calculus M Carbone, S Maffeis Electronic Notes in Theoretical Computer Science 68 (2), 15-32, 2002 | 131 | 2002 |
| 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 | 130 | 2012 |
| Language-based isolation of untrusted Javascript S Maffeis, A Taly 2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009 | 130 | 2009 |
| Isolating JavaScript with filters, rewriting, and wrappers S Maffeis, JC Mitchell, A Taly European Symposium on Research in Computer Security, 505-522, 2009 | 95 | 2009 |
| 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 | 93 | 2007 |
| A type discipline for authorization policies C Fournet, AD Gordon, S Maffeis European Symposium on Programming, 141-156, 2005 | 74 | 2005 |
| An executable formal semantics of PHP D Filaretti, S Maffeis European Conference on Object-Oriented Programming, 567-592, 2014 | 65 | 2014 |
| Modelling dynamic web data P Gardner, S Maffeis Theoretical Computer Science 342 (1), 104-131, 2005 | 58 | 2005 |
| On the computational strength of pure ambient calculi S Maffeis, I Phillips Theoretical Computer Science 330 (3), 501-551, 2005 | 55 | 2005 |
| 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 | 54 | 2013 |
| 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 | 51 | 2007 |
| Language-based defenses against untrusted browser origins K Bhargavan, A Delignat-Lavaud, S Maffeis 22nd USENIX Security Symposium (USENIX Security 13), 653-670, 2013 | 50 | 2013 |
| Run-time enforcement of secure javascript subsets S Maffeis, JC Mitchell, A Taly Proc of W2SP 9, 2009 | 31 | 2009 |
| Code-carrying authorization S Maffeis, M Abadi, C Fournet, AD Gordon European Symposium on Research in Computer Security, 563-579, 2008 | 28 | 2008 |
| An abstract interpretation framework for analysing mobile ambients F Levi, S Maffeis International Static Analysis Symposium, 395-411, 2001 | 24 | 2001 |
Karthikeyan BhargavanINRIAVerified email at inria.fr
