Export 2 results:
Author Title Type [ Year
] Filters: First Letter Of Title is F and Author is T. Truderung [Clear All Filters]
, “A Framework for the Cryptographic Verification of Java-like Programs”, in Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF 2012), 2012.
, “Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking”, in Proceedings of the 35th IEEE Symposium on Security and Privacy (S&P 2014), 2014.