| 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 | 311 | 2011 |
| An Operational Semantics for JavaScript. S Maffeis, JC Mitchell, A Taly APLAS 8, 307-325, 2008 | 221 | 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 | 189 | 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 | 155 | 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 | 145 | 2014 |
| 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 | 136 | 2012 |
| On the expressive power of polyadic synchronisation in pi-calculus M Carbone, S Maffeis Nord. J. Comput. 10 (2), 70-98, 2003 | 136 | 2003 |
| Language-based isolation of untrusted Javascript S Maffeis, A Taly 2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009 | 133 | 2009 |
| Isolating JavaScript with filters, rewriting, and wrappers S Maffeis, JC Mitchell, A Taly Computer Security–ESORICS 2009: 14th European Symposium on Research in …, 2009 | 96 | 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 | 95 | 2007 |
| A type discipline for authorization policies C Fournet, AD Gordon, S Maffeis Programming Languages and Systems: 14th European Symposium on Programming …, 2005 | 73 | 2005 |
| An executable formal semantics of PHP D Filaretti, S Maffeis ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 68 | 2014 |
| Modelling dynamic web data P Gardner, S Maffeis Theoretical Computer Science 342 (1), 104-131, 2005 | 56 | 2005 |
| On the computational strength of pure ambient calculi S Maffeis, I Phillips Theoretical Computer Science 330 (3), 501-551, 2005 | 56 | 2005 |
| 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 | 53 | 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 | 53 | 2007 |
| Language-based Defenses Against Untrusted Browser Origins. K Bhargavan, A Delignat-Lavaud, S Maffeis Usenix security symposium, 653-670, 2013 | 52 | 2013 |
| Run-time enforcement of secure javascript subsets S Maffeis, JC Mitchell, A Taly Proc of W2SP 9, 2009 | 30 | 2009 |
| Code-carrying authorization S Maffeis, M Abadi, C Fournet, AD Gordon Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008 | 29 | 2008 |
| An abstract interpretation framework for analysing mobile ambients F Levi, S Maffeis Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001 | 26 | 2001 |
Karthikeyan BhargavanINRIAVerified email at inria.fr
