Stephanie Delaune [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Verifying privacy-type properties in a modular way 25th IEEE Computer Security Foundations Symposium-2012 - Cambridge, MA, USA
Trace equivalence decision: negative tests and non-determinism Confrence-on-computer-communications-security-2011 - Chicago, USA