N
Nikhil Swamy
Researcher at Microsoft
Publications - 80
Citations - 3755
Nikhil Swamy is an academic researcher from Microsoft. The author has contributed to research in topics: Compiler & Semantics (computer science). The author has an hindex of 29, co-authored 77 publications receiving 3333 citations. Previous affiliations of Nikhil Swamy include University of Maryland, College Park.
Papers
More filters
ReportDOI
Toward Specifying and Validating Cross-Domain Policies
TL;DR: This report briefly survey work that presents formal security policies with crossdomain concerns, in particular with respect to the problem of downgrading, and describes correctness properties for such policies, all based on noninterference.
Posted Content
WYS*: A DSL for Verified Secure Multi-party Computations
TL;DR: Wys* as mentioned in this paper is a domain-specific language for secure multi-party computation (MPC), which enables a set of mutually distrusting parties to cooperatively compute, using a cryptographic protocol, a function over their private data.
Posted Content
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.
Guido Martínez,Danel Ahman,Victor Dumitrescu,Nick Giannarakis,Chris Hawblitzel,Catalin Hritcu,Monal Narasimhamurthy,Zoe Paraskevopoulou,Clément Pit-Claudel,Jonathan Protzenko,Tahina Ramananandro,Aseem Rastogi,Nikhil Swamy +12 more
TL;DR: Meta-F* is introduced, a metaprogramming framework for the F* effectful language and SMT-based program verification tool that allows developers to write effectful metaprograms suitable for proof scripting, user-defined proof automation, and verified program construction and transformation in F*.
A Distributed Algorithm for Constructing a Generalization of de Bruijn Graphs
TL;DR: A distributed protocol is proposed that constructs an approximation of a de Bruijn graph in the presence of an arbitrary number of nodes and it is shown that the degree of each node is constant and the diameter of the network is no worse than 2logN, where N is the number of node.