Nikhil Swamy Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Michael W. Hicks, Gavin M. Bierman: A theory of typed coercions and its applications. ICFP 2009: 329-340
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian J. Corcoran, Nikhil Swamy, Michael W. Hicks: Cross-tier, label-based security enforcement for web applications. SIGMOD Conference 2009: 269-282
2008
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy: Verified implementations of the information card federated identity-management protocol. ASIACCS 2008: 123-135
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Brian J. Corcoran, Michael Hicks: Fable: A Language for Enforcing User-defined Security Policies. IEEE Symposium on Security and Privacy 2008: 369-383
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. PLAS 2008: 21-32
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Michael Hicks: Verified enforcement of stateful information release policies. SIGPLAN Notices 43(12): 21-31 (2008)
2007
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTrevor Jim, Nikhil Swamy, Michael Hicks: Defeating script injection attacks with browser-enforced embedded policies. WWW 2007: 601-610
2006
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic: Managing Policy Updates in Security-Typed Languages. CSFW 2006: 202-216
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. Sci. Comput. Program. 62(2): 122-144 (2006)
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Rose, Nikhil Swamy, Michael Hicks: Dynamic inference of polymorphic lock types. Sci. Comput. Program. 58(3): 366-383 (2005)
2004
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGlenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy: Finding and Removing Performance Bottlenecks in Large Systems. ECOOP 2004: 170-194
2003
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen Hennacy, Nikhil Swamy, Don Perlis: RGL Study in a Hybrid Real-time System. Neural Networks and Computational Intelligence 2003: 203-208

Coauthor Index

1Glenn Ammons [2]
2Karthikeyan Bhargavan [10]
3Gavin M. Bierman [12]
4Jong-Deok Choi [2]
5Brian J. Corcoran [9] [11]
6Cédric Fournet [10]
7Andrew D. Gordon (Andy Gordon) [10]
8Dan Grossman [4]
9Manish Gupta [2]
10Ken Hennacy [1]
11Michael W. Hicks (Michael Hicks) [3] [4] [5] [6] [7] [8] [9] [11] [12]
12Trevor Jim [4] [6]
13J. Gregory Morrisett (Greg Morrisett) [4]
14Don Perlis [1]
15James Rose [3]
16Stephen Tse [5]
17Steve Zdancewic [5]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)