Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Keyword is statically verified transactions  [Clear All Filters]
2006
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.