Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is F and Author is A. Vogt  [Clear All Filters]
2014
R. Küsters, Truderung, T., and Vogt, A., “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.