h1

125910

⇧ RWTH Aachen ⇧

Recent Publications

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS | 

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Westphal, T.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Henze, M. (Thesis advisor)RWTH* ; Stutte, B. (Consultant)RWTH*
Lattice-based post-quantum cryptography for memory-constrained IoT devices
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2026) [10.18154/RWTH-2026-00350]2026 = Bachelorarbeit, RWTH Aachen University, 2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Gehnen, C. (Corresponding author)RWTH* ; Unruh, D.RWTH* ; Katoen, J.-P.RWTH*
Bayesian Inference in Quantum Programs
202552nd International Colloquium on Automata, Languages, and Programming : ICALP 2025, July 8–11, 2025, Aarhus, Denmark / edited by Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis
52. International Colloquium on Automata, Languages, and Programming, ICALP 2025, AarhusAarhus, Denmark, 8 Jul 2025 - 11 Jul 20252025-07-082025-07-11 Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, LIPIcs - Leibniz international proceedings in informatics 334, 157:1-157:18 (2025) [10.4230/LIPIcs.ICALP.2025.157]2025     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Bausch, S.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Meyer, U. M. (Thesis advisor)RWTH*
Implementation of the PQC algorithm BIKE in theorem prover EasyCrypt
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2025) [10.18154/RWTH-2025-04999]2025 = Bachelorarbeit, RWTH Aachen University, 2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Bachelor Thesis Zhang, S. X.RWTH* ; Unruh, D. (Thesis advisor)RWTH* ; Meyer, U. M. (Thesis advisor)RWTH*
A survey on certified deletion protocols : quantum cryptography
Aachen : RWTH Aachen University 1 Online-Ressource : Illustrationen (2024) [10.18154/RWTH-2025-05049]2024 = Bachelorarbeit, RWTH Aachen University, 2024     Files BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Unruh, D.RWTH*
Without Loss of Generality
Archive of formal proofs August 30, 2024 (2024)2024     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Unruh, D.RWTH*
The Tensor Product on Hilbert Spaces
Archive of formal proofs September 10, 2024 (2024)2024     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Journal Article Unruh, D.RWTH*
With-Type – Poor man's dependent types
Archive of formal proofs August 29, 2024 (2024)2024     Fulltext BibTeX | EndNote: XML, Text | RIS

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Contribution to a book/Contribution to a conference proceedings Unruh, D. (Corresponding author)RWTH*
Towards Compressed Permutation Oracles
2023Advances in Cryptology – ASIACRYPT 2023 : 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4–8, 2023, Proceedings, Part IV / edited by Jian Guo, Ron Steinfeld
ASIACRYPT 2023, GuangzhouGuangzhou, Peoples R China, 4 Dec 2023 - 8 Dec 20232023-12-042023-12-08 Singapore : Springer Nature Singapore, Lecture Notes in Computer Science 14441, : 1st ed. 2023., 369-400 (2023) [10.1007/978-981-99-8730-6_12]2023   BibTeX | EndNote: XML, Text | RIS

All known publications ...
Download: BibTeX | EndNote XML,  Text | RIS |