Nikhil Swamy - Concepedia

Author

Nikhil Swamy

Also Known As

N. K. Anantha Swamy, N. KUMAR SWAMY, N. Kumar Swamy, N. Swamy, NIKHIL SWAMY, Nikhil Swamy, Nikhil Swamy, Ramananandro, Tahina, Swamy, Nikhil

130

Publications

3.8K

Citations

H-Index

Concepts

All Affiliations

Microsoft (United States)Microsoft Research (United Kingdom)University of Maryland, College Park Institut national de recherche en sciences et technologies du numérique Microsoft Research (India)

About

Nikhil Swamy is an author at Microsoft (United States) specializing in engineering, formal verification, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	48	3.3K
2	Computer Engineering	10	10	508
3	Language Studies	2	2	39
4	Law	1	1	11
5	Communication	1	1	26

Nikhil Swamy

Publications

3.4K

Citations

H-Index

Page 1

	Year	Citations
Formal Verification of Smart Contracts Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, EngineeringInformation SecurityVerificationSoftware EngineeringSmart Contracts	2016	607
Defeating script injection attacks with browser-enforced embedded policies Trevor Jim, Nikhil Swamy, Michael Hicks Hardware SecurityScript InjectionBrowser User InterfaceInternet SecurityEngineering	2007	280
Dependent types and multi-monadic effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, EngineeringType TheoryVerificationAutomated ProofSoftware Analysis	2016	280
Secure distributed programming with value-dependent types Nikhil Swamy, Juan Chen, Cédric Fournet, ACM SIGPLAN Notices EngineeringInformation SecurityVerificationAffine TypesSoftware Analysis	2011	150
Secure distributed programming with value-dependent types Nikhil Swamy, Juan Chen, Cédric Fournet, EngineeringInformation SecurityVerificationSoftware EngineeringSoftware Analysis	2011	135
Finding a better-than-classical quantum AND/OR algorithm using genetic programming Lee Spector, Howard Barnum, H. J. Bernstein, EngineeringQuantum ComputingQuantum Optimization AlgorithmQuantum Machine LearningQuantum Computer Simulator	2003	118
Fable: A Language for Enforcing User-defined Security Policies Nikhil Swamy, Brian J. Corcoran, Michael Hicks Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy EngineeringInformation SecurityCore FormalismFormal VerificationSoftware Analysis	2008	113
Verified Security for Browser Extensions Arjun Guha, Matt Fredrikson, Benjamin Livshits, EngineeringUsable SecurityInformation SecurityVerificationFormal Verification	2011	112
Verifying higher-order programs with the dijkstra monad Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Formal SpecificationEngineeringProgram AnalysisAutomated ReasoningNew Monad	2013	103
Verified low-level programming embedded in F* Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi, Proceedings of the ACM on Programming Languages Program CheckingEngineeringCompiler TechnologyVerificationComputer-aided Verification	2017	98

Page 1