Sotabase

Career

· Researcher, Microsoft Research

Publications (88)

Formal Verification of Smart Contracts: Short Paper
PLAS@CCS · 2016
614
cited
Dependent types and multi-monadic effects in F*
ACM-SIGACT Symposium on Principles of Programming Languages · 2016
407
cited
Secure distributed programming with value-dependent types
Journal of functional programming · 2011
288
cited
Verified low-level programming embedded in F*
Proc. ACM Program. Lang. · 2017
160
cited
Finding a better-than-classical quantum AND/OR algorithm using genetic programming
Proceedings of the 1999 Congress on Evolutionary Computation-CEC99 (Cat. No. 99TH8406) · 1999
139
cited
Verified Security for Browser Extensions
IEEE Symposium on Security and Privacy · 2011
133
cited
Safe & Efficient Gradual Typing for TypeScript
ACM-SIGACT Symposium on Principles of Programming Languages · 2015
123
cited
Verifying higher-order programs with the dijkstra monad
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2013
119
cited
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
IEEE Symposium on Security and Privacy · 2020
111
cited
Fully abstract compilation to JavaScript
ACM-SIGACT Symposium on Principles of Programming Languages · 2013
111
cited
Probabilistic relational verification for cryptographic implementations
ACM-SIGACT Symposium on Principles of Programming Languages · 2014
108
cited
Quantum computing applications of genetic programming
1999
95
cited
Enforcing Stateful Authorization and Information Flow Policies in Fine
European Symposium on Programming · 2010
80
cited
Everest: Towards a Verified, Drop-in Replacement of HTTPS
Summit on Advances in Programming Languages · 2017
80
cited
Gradual typing embedded securely in JavaScript
ACM-SIGACT Symposium on Principles of Programming Languages · 2014
71
cited
Cross-tier, label-based security enforcement for web applications
SIGMOD Conference · 2009
69
cited
EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
USENIX Security Symposium · 2019
69
cited
Safe manual memory management in Cyclone
Science of Computer Programming · 2006
64
cited
Managing policy updates in security-typed languages
19th IEEE Computer Security Foundations Workshop (CSFW'06) · 2006
59
cited
Ranking LLM-Generated Loop Invariants for Program Verification
Conference on Empirical Methods in Natural Language Processing · 2023
55
cited
Sotabase
Nikhil Swamy | Researcher Profile | Sotabase | Sotabase