|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 17 keywords
|
|
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yiling Chen, Stephen Chong, Ian A. Kash, Tal Moran, Salil P. Vadhan |
Truthful Mechanisms for Agents that Value Privacy  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jeffrey A. Vaughan, Stephen Chong |
Inference of Expressive Declassification Policies. |
IEEE Symposium on Security and Privacy |
2011 |
DBLP DOI BibTeX RDF |
declassification policies, inference of security policies, information flow, language-based security |
| 1 | Scott Moore, Stephen Chong |
Static Analysis for Efficient Hybrid Information-Flow Control. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
hybrid information-flow monitors, dynamic information-flow monitors, information-flow control |
| 1 | Stephen Chong |
Required Information Release. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Christian Skalka, Jeffrey A. Vaughan |
Self-identifying sensor data. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
self-identifying data, provenance |
| 1 | Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng |
Building secure web applications with automatic partitioning. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, David A. Naumann (eds.) |
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, PLAS 2009, Dublin, Ireland, 15-21 June, 2009 |
PLAS |
2009 |
DBLP BibTeX RDF |
|
| 1 | James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren |
Provenance: a future history. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
semantics, integrity, provenance |
| 1 | Stephen Chong |
Towards Semantics for Provenance Security. |
Workshop on the Theory and Practice of Provenance |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephen Chong, Ron van der Meyden |
Deriving epistemic conclusions from agent architecture. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Clarkson, Stephen Chong, Andrew C. Myers |
Civitas: Toward a Secure Voting System. |
IEEE Symposium on Security and Privacy |
2008 |
DBLP DOI BibTeX RDF |
verifiable elections, voter registration, secure bulletin boards, cryptographic protocols, Electronic voting, coercion resistance |
| 1 | Stephen Chong, Andrew C. Myers |
End-to-End Enforcement of Erasure and Declassification. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification |
| 1 | Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng |
Secure web application via automatic partitioning. |
SOSP |
2007 |
DBLP DOI BibTeX RDF |
compilers, information flow, security policies |
| 1 | Michael E. Clarkson, Stephen Chong, Andrew C. Myers |
Civitas: A Secure Remote Voting System. |
Frontiers of Electronic Voting |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephen Chong, Andrew C. Myers |
Decentralized Robustness. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong |
Information-Flow Security for Interactive Programs. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Andrew C. Myers |
Language-Based Information Erasure. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Riccardo Pucella |
A Framework for Creating Natural Language User Interfaces for Action-Based Applications |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Stephen Chong |
Owned Policies for Information Security. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathaniel Nystrom, Stephen Chong, Andrew C. Myers |
Scalable extensibility via nested inheritance. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
nested classes, inheritance, object-oriented programming languages, virtual classes |
| 1 | Stephen Chong, Andrew C. Myers |
Security policies for downgrading. |
ACM Conference on Computer and Communications Security |
2004 |
DBLP DOI BibTeX RDF |
information flow, security policies, noninterference, declassification, downgrading |
| 1 | Riccardo Pucella, Stephen Chong |
Review of type-logical semantics. |
SIGACT News |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic |
Using Replication and Partitioning to Build Secure Distributed Systems. |
IEEE Symposium on Security and Privacy |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Chong, Radu Rugina |
Static Analysis of Accessed Regions in Recursive Data Structures. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")