Unruh, Dominique

1. Quantum Attacks on Classical Proof Systems - The Hardness of Quantum\n Rewinding
   2014/04/28 by Andris Ambainis, Ambainis, Andris, Ansis Rosmanis +3 · 4 citations
   Computer Science · #Cryptography and Data Security #Security and Verification in Computing #Cryptographic Implementations and Security
2. Quantum Hoare Logic with Ghost Variables
   2019/02/01 by Dominique Unruh, Unruh, Dominique · 3 citations
   Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic