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 | 559 | 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 | 470 | 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 | 321 | 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 | 252 | 2011 |
Quantum computing applications of genetic programming L Spector, H Barnum, HJ Bernstein, N Swamy Advances in genetic programming 3, 135-160, 1999 | 163* | 1999 |
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 | 152 | 2008 |
Verified security for browser extensions A Guha, M Fredrikson, B Livshits, N Swamy 2011 IEEE symposium on security and privacy, 115-130, 2011 | 150 | 2011 |
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 | 142 | 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 | 127 | 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 | 125 | 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 | 113 | 2014 |
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 | 111 | 2013 |
Quantum computing applications of genetic programming L Spector, H Barnum, HJ Bernstein, N Swamy Advances in genetic programming 3, 135-160, 1999 | 101 | 1999 |
Enforcing Stateful Authorization and Information Flow Policies in Fine N Swamy, J Chen, R Chugh European Symposium on Programming, 529-549, 2010 | 100 | 2010 |
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 | 98 | 2017 |
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 | 90 | 2004 |
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 |
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 | 76 | 2014 |
Genetic programming for quantum computers L Spector, H Barnum, HJ Bernstein, N Swamy Genetic Programming, 365-373, 1998 | 75 | 1998 |
Managing policy updates in security-typed languages N Swamy, M Hicks, S Tse, S Zdancewic 19th IEEE Computer Security Foundations Workshop (CSFW'06), 13 pp.-216, 2006 | 71 | 2006 |