|
Search the dblp DataBase
Michael Hicks:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Nikhil Swamy, Michael Hicks, Stephen Tse, Steve Zdancewic
Managing Policy Updates in Security-Typed Languages. [Citation Graph (0, 0)][DBLP] CSFW, 2006, pp:202-216 [Conf]
- Pavlos Papageorgiou, Michael Hicks
Merging Network Measurement with Data Transport. [Citation Graph (0, 0)][DBLP] PAM, 2005, pp:368-371 [Conf]
- Polyvios Pratikakis, Jeffrey S. Foster, Michael Hicks
Existential Label Flow Inference Via CFL Reachability. [Citation Graph (0, 0)][DBLP] SAS, 2006, pp:88-106 [Conf]
- Saurabh Srivastava, Michael Hicks, Jeffrey S. Foster
Modular information hiding and type-safe linking for C. [Citation Graph (0, 0)][DBLP] TLDI, 2007, pp:3-14 [Conf]
- James Rose, Nikhil Swamy, Michael Hicks
Dynamic inference of polymorphic lock types. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2005, v:58, n:3, pp:366-383 [Journal]
- Trevor Jim, Nikhil Swamy, Michael Hicks
Defeating script injection attacks with browser-enforced embedded policies. [Citation Graph (0, 0)][DBLP] WWW, 2007, pp:601-610 [Conf]
Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. [Citation Graph (, )][DBLP]
Path projection for user-centered static analysis tools. [Citation Graph (, )][DBLP]
Verified enforcement of stateful information release policies. [Citation Graph (, )][DBLP]
Trusted declassification: : high-level policy for a security-typed language. [Citation Graph (, )][DBLP]
Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. [Citation Graph (, )][DBLP]
Dynamically checking ownership policies in concurrent c/c++ programs. [Citation Graph (, )][DBLP]
Passive aggressive measurement with MGRP. [Citation Graph (, )][DBLP]
Fable: A Language for Enforcing User-defined Security Policies. [Citation Graph (, )][DBLP]
Formalizing Soundness of Contextual Effects. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|