| Formal verification of smart contracts: Short paper K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ... Proceedings of the 2016 ACM workshop on programming languages and analysis …, 2016 | 601 | 2016 |
| Defeating script injection attacks with browser-enforced embedded policies T Jim, N Swamy, M Hicks Proceedings of the 16th international conference on World Wide Web, 601-610, 2007 | 472 | 2007 |
| Dependent types and multi-monadic effects in F N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ... Proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 353 | 2016 |
| Secure distributed programming with value-dependent types N Swamy, J Chen, C Fournet, PY Strub, K Bhargavan, J Yang ACM SIGPLAN Notices 46 (9), 266-278, 2011 | 256 | 2011 |
| Quantum computing applications of genetic programming L Spector, H Barnum, HJ Bernstein, N Swamy Advances in genetic programming 3, 135-160, 1999 | 171* | 1999 |
| Verified security for browser extensions A Guha, M Fredrikson, B Livshits, N Swamy 2011 IEEE symposium on security and privacy, 115-130, 2011 | 155 | 2011 |
| Fable: A language for enforcing user-defined security policies N Swamy, BJ Corcoran, M Hicks 2008 IEEE Symposium on Security and Privacy (sp 2008), 369-383, 2008 | 155 | 2008 |
| Finding a better-than-classical quantum AND/OR algorithm using genetic programming L Spector, H Barnum, HJ Bernstein, N Swamy Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No …, 1999 | 145 | 1999 |
| Safe & efficient gradual typing for TypeScript A Rastogi, N Swamy, C Fournet, G Bierman, P Vekris Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 142 | 2015 |
| Fully abstract compilation to JavaScript C Fournet, N Swamy, J Chen, PE Dagand, PY Strub, B Livshits Proceedings of the 40th annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2013 | 127 | 2013 |
| Verifying higher-order programs with the Dijkstra monad N Swamy, J Weinberger, C Schlesinger, J Chen, B Livshits ACM SIGPLAN Notices 48 (6), 387-398, 2013 | 123 | 2013 |
| Probabilistic relational verification for cryptographic implementations G Barthe, C Fournet, B Grégoire, PY Strub, N Swamy, S Zanella-Béguelin ACM SIGPLAN Notices 49 (1), 193-205, 2014 | 119 | 2014 |
| Verified low-level programming embedded in F. J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ... Proc. ACM program. lang. 1 (ICFP), 17:1-17:29, 2017 | 112 | 2017 |
| Quantum computing applications of genetic programming L Spector, H Barnum, HJ Bernstein, N Swamy Advances in genetic programming 3, 135-160, 1999 | 106 | 1999 |
| Enforcing Stateful Authorization and Information Flow Policies in Fine N Swamy, J Chen, R Chugh European Symposium on Programming, 529-549, 2010 | 102 | 2010 |
| Finding and removing performance bottlenecks in large systems G Ammons, JD Choi, M Gupta, N Swamy European Conference on Object-Oriented Programming, 172-196, 2004 | 91 | 2004 |
| Gradual typing embedded securely in javascript N Swamy, C Fournet, A Rastogi, K Bhargavan, J Chen, PY Strub, ... ACM SIGPLAN Notices 49 (1), 425-437, 2014 | 82 | 2014 |
| Genetic programming for quantum computers L Spector, H Barnum, HJ Bernstein, N Swamy Genetic Programming, 365-373, 1998 | 79 | 1998 |
| Everest: Towards a verified, drop-in replacement of HTTPS K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ... 2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017 | 78 | 2017 |
| Cross-tier, label-based security enforcement for web applications BJ Corcoran, N Swamy, M Hicks Proceedings of the 2009 ACM SIGMOD International Conference on Management of …, 2009 | 78 | 2009 |
