Export 27 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is T [Clear All Filters]
, “Information Flow Analysis via Path Condition Refinement”, in Proceedings of the 7th International Workshop on Formal Aspects of Security and Trust (FAST 2010), 2010.
, “Proving Coercion-Resistance of Scantegrity II”, in Proceedings of the 12th International Conference on Information and Communications Security (ICICS 2010), 2010.