| 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 | 346 | 2011 |
| An operational semantics for JavaScript S Maffeis, JC Mitchell, A Taly Asian Symposium on Programming Languages and Systems, 307-325, 2008 | 233 | 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 | 224 | 2014 |
| 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 | 181 | 2014 |
| Vulberta: Simplified source code pre-training for vulnerability detection H Hanif, S Maffeis 2022 International joint conference on neural networks (IJCNN), 1-8, 2022 | 173 | 2022 |
| Object capabilities and isolation of untrusted web applications S Maffeis, JC Mitchell, A Taly 2010 IEEE Symposium on Security and Privacy, 125-140, 2010 | 157 | 2010 |
| 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 | 145 | 2012 |
| On the expressive power of polyadic synchronisation in pi-calculus M Carbone, S Maffeis Nord. J. Comput. 10 (2), 70-98, 2003 | 144 | 2003 |
| Language-based isolation of untrusted Javascript S Maffeis, A Taly 2009 22nd IEEE Computer Security Foundations Symposium, 77-91, 2009 | 138 | 2009 |
| Isolating JavaScript with filters, rewriting, and wrappers S Maffeis, JC Mitchell, A Taly European Symposium on Research in Computer Security, 505-522, 2009 | 103 | 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 | 96 | 2007 |
| A type discipline for authorization policies C Fournet, AD Gordon, S Maffeis European Symposium on Programming, 141-156, 2005 | 77 | 2005 |
| An executable formal semantics of PHP D Filaretti, S Maffeis European Conference on Object-Oriented Programming, 567-592, 2014 | 76 | 2014 |
| Language-based defenses against untrusted browser origins K Bhargavan, A Delignat-Lavaud, S Maffeis 22nd USENIX Security Symposium (USENIX Security 13), 653-670, 2013 | 58 | 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 | 58 | 2007 |
| 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 | 58 | 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 | 55 | 2013 |
| 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 | 47 | 2019 |
| Adversarial attacks on time-series intrusion detection for industrial control systems G Zizzo, C Hankin, S Maffeis, K Jones 2020 IEEE 19th international conference on trust, security and privacy in …, 2020 | 39 | 2020 |
Karthikeyan BhargavanINRIAVerified email at inria.fr
