Nikhil Swamy
Microsoft (United States)(US)Hemwati Nandan Bahuguna Garhwal University(IN)Deenbandhu Chhotu Ram University of Science and Technology(IN)
Publications by Year
Research Areas
Security and Verification in Computing, Logic, programming, and type systems, Advanced Malware Detection Techniques, Formal Methods in Verification, Distributed systems and fault tolerance
Most-Cited Works
- → Formal Verification of Smart Contracts(2016)611 cited
- → Dependent types and multi-monadic effects in F*(2016)281 cited
- → Defeating script injection attacks with browser-enforced embedded policies(2007)280 cited
- → Secure distributed programming with value-dependent types(2011)150 cited
- → Finding a better-than-classical quantum AND/OR algorithm using genetic programming(2003)118 cited
- → Fable: A Language for Enforcing User-defined Security Policies(2008)113 cited
- → Verified Security for Browser Extensions(2011)