Search the dblp DataBase

Publications of Author

1. 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]
   
2. Pavlos Papageorgiou, Michael Hicks
   Merging Network Measurement with Data Transport. [Citation Graph (0, 0)][DBLP]
   PAM, 2005, pp:368-371 [Conf]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 
   Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. [Citation Graph (, )][DBLP]
   
   
8. 
   Path projection for user-centered static analysis tools. [Citation Graph (, )][DBLP]
   
   
9. 
   Verified enforcement of stateful information release policies. [Citation Graph (, )][DBLP]
   
   
10. 
    Trusted declassification: : high-level policy for a security-typed language. [Citation Graph (, )][DBLP]
    
    
11. 
    Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming. [Citation Graph (, )][DBLP]
    
    
12. 
    Dynamically checking ownership policies in concurrent c/c++ programs. [Citation Graph (, )][DBLP]
    
    
13. 
    Passive aggressive measurement with MGRP. [Citation Graph (, )][DBLP]
    
    
14. 
    Fable: A Language for Enforcing User-defined Security Policies. [Citation Graph (, )][DBLP]
    
    
15. 
    Formalizing Soundness of Contextual Effects. [Citation Graph (, )][DBLP]