|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 36 occurrences of 28 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Koen Claessen, Nikhil Swamy (eds.) |
Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012  |
PLPV  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen |
Self-certification: bootstrapping certified typecheckers in F* with Coq. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjun Guha, Matthew Fredrikson, Benjamin Livshits, Nikhil Swamy |
Verified Security for Browser Extensions. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
security, verification, type system, extensions, web browsers, policy languages |
| 1 | Johannes Borgström, Juan Chen, Nikhil Swamy |
Verifying stateful programs with substructural state and hoare types. |
PLPV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G. Zorn |
Modular Protections against Non-control Data Attacks. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
non-control data attack, control-flow integrity, frame rule, data isolation, data integrity, Hoare logic, language-based security |
| 1 | Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
Secure distributed programming with value-dependent types. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks |
Lightweight monadic programming in ML. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Ravi Chugh, Nikhil Swamy |
Type-preserving compilation of end-to-end verification of security enforcement. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security |
| 1 | Nikhil Swamy, Juan Chen, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian J. Corcoran, Nikhil Swamy, Michael W. Hicks |
Cross-tier, label-based security enforcement for web applications. |
SIGMOD Conference |
2009 |
DBLP DOI BibTeX RDF |
database programming, security enforcement, compilers, web applications, type systems |
| 1 | Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman |
A theory of typed coercions and its applications. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance |
| 1 | Nikhil Swamy, Michael Hicks |
Verified enforcement of stateful information release policies. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types |
| 1 | Nikhil Swamy, Brian J. Corcoran, Michael Hicks |
Fable: A Language for Enforcing User-defined Security Policies. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
verified enforcement, access control, information flow, provenance, Language-based security |
| 1 | Nikhil Swamy, Michael Hicks |
Verified enforcement of stateful information release policies. |
PLAS |
2008 |
DBLP DOI BibTeX RDF |
certified evaluation, state modifying, dependent, declassification, affine, singleton types |
| 1 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Nikhil Swamy |
Verified implementations of the information card federated identity-management protocol. |
ASIACCS |
2008 |
DBLP DOI BibTeX RDF |
cryptographic protocol verification, verified implementations, web services security, federated identity management, CardSpace |
| 1 | Trevor Jim, Nikhil Swamy, Michael Hicks |
Defeating script injection attacks with browser-enforced embedded policies. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
script injection, cross-site scripting, web application security |
| 1 | Nikhil Swamy, Michael W. Hicks, Greg Morrisett, Dan Grossman, Trevor Jim |
Safe manual memory management in Cyclone. |
Sci. Comput. Program. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic |
Managing Policy Updates in Security-Typed Languages. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Rose, Nikhil Swamy, Michael Hicks |
Dynamic inference of polymorphic lock types. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Glenn Ammons, Jong-Deok Choi, Manish Gupta, Nikhil Swamy |
Finding and Removing Performance Bottlenecks in Large Systems. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Hennacy, Nikhil Swamy, Don Perlis |
RGL Study in a Hybrid Real-time System. |
Neural Networks and Computational Intelligence |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")