Concepedia

Nikhil Swamy

NS

52

Publications

3.4K

Citations

27

H-Index

2003

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft Research (United Kingdom)

University of Maryland, College Park

Institut national de recherche en sciences et technologies du numérique

Microsoft Research (India)

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

Top concepts

EngineeringComputer ScienceFormal VerificationSoftware AnalysisFormal MethodsProgram AnalysisVerificationData SecurityCryptographyAutomated Reasoning

Publications per year

2003–2023

52

Publications

52

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 607 citations · Full text

Engineering, Information Security, Verification +23

Defeating script injection attacks with browser-enforced embedded policies

Trevor Jim, Nikhil Swamy, Michael Hicks · 2007 · 280 citations

Hardware Security, Script Injection, Browser User Interface +15

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 280 citations · Full text

Engineering, Type Theory, Verification +16

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · ACM SIGPLAN Notices · 2011 · 150 citations

Engineering, Information Security, Verification +20

Secure distributed programming with value-dependent types

Nikhil Swamy, Juan Chen, Cédric Fournet et al. · 2011 · 135 citations

Engineering, Information Security, Verification +21

Rows per page

1–5 of 52