Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Keyword is Lattices  [Clear All Filters]
Conference Papers
Swamy N, Hicks MW, Tse S, Zdancewic S.  2006.  Managing policy updates in security-typed languages. 19th IEEE Computer Security Foundations Workshop, 2006. :13pp.-216-13pp.-216.