Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Nikhil Swamy
2010 – today
- 2013
[c20]Jean-Baptiste Jeannin, Guido de Caso, Juan Chen, Yuri Gurevich, Prasad Naldurg, Nikhil Swamy: dkal ⋆ : Constructing Executable Specifications of Authorization Protocols. ESSoS 2013: 139-154- [c19]Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits: Verifying higher-order programs with the dijkstra monad. PLDI 2013: 387-398
- [c18]Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Évariste Dagand, Pierre-Yves Strub, Benjamin Livshits: Fully abstract compilation to JavaScript. POPL 2013: 371-384
- 2012
- [c17]Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen: Self-certification: bootstrapping certified typecheckers in F* with Coq. POPL 2012: 571-584
- [e1]Koen Claessen, Nikhil Swamy (Eds.): Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012. ACM 2012, ISBN 978-1-4503-1125-0
- 2011
- [c16]Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn: Modular Protections against Non-control Data Attacks. CSF 2011: 131-145
- [c15]Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks: Lightweight monadic programming in ML. ICFP 2011: 15-27
- [c14]Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang: Secure distributed programming with value-dependent types. ICFP 2011: 266-278
- [c13]Johannes Borgström, Juan Chen, Nikhil Swamy: Verifying stateful programs with substructural state and hoare types. PLPV 2011: 15-26
- [c12]Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy: Verified Security for Browser Extensions. IEEE Symposium on Security and Privacy 2011: 115-130
- 2010
- [c11]Nikhil Swamy, Juan Chen, Ravi Chugh: Enforcing Stateful Authorization and Information Flow Policies in Fine. ESOP 2010: 529-549
- [c10]Juan Chen, Ravi Chugh, Nikhil Swamy: Type-preserving compilation of end-to-end verification of security enforcement. PLDI 2010: 412-423
2000 – 2009
- 2009
- [c9]Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman: A theory of typed coercions and its applications. ICFP 2009: 329-340
- [c8]Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks: Cross-tier, label-based security enforcement for web applications. SIGMOD Conference 2009: 269-282
- 2008
- [j3]Nikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. SIGPLAN Notices 43(12): 21-31 (2008)
- [c7]Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy: Verified implementations of the information card federated identity-management protocol. ASIACCS 2008: 123-135
- [c6]Nikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. PLAS 2008: 21-32
- [c5]Nikhil Swamy, Brian J. Corcoran, Michael Hicks: Fable: A Language for Enforcing User-defined Security Policies. IEEE Symposium on Security and Privacy 2008: 369-383
- 2007
- [c4]Trevor Jim, Nikhil Swamy, Michael Hicks: Defeating script injection attacks with browser-enforced embedded policies. WWW 2007: 601-610
- 2006
- [j2]Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. Sci. Comput. Program. 62(2): 122-144 (2006)
- [c3]Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
- 2005
- [j1]James Rose, Nikhil Swamy, Michael Hicks: Dynamic inference of polymorphic lock types. Sci. Comput. Program. 58(3): 366-383 (2005)
- 2004
- [c2]Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy: Finding and Removing Performance Bottlenecks in Large Systems. ECOOP 2004: 170-194
- 2003
- [c1]Ken Hennacy, Nikhil Swamy, Don Perlis: RGL Study in a Hybrid Real-time System. Neural Networks and Computational Intelligence 2003: 203-208
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:59 CEST by the dblp team