|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bauer, Balthazar ; Fuchsbauer, Georg ; Regen, Fabian | On Security Proofs of Existing Equivalence Class Signature Schemes | Inproceedings Konferenzbeitrag  | 11-Dec-2024 |
| 2 |  | Aumayr, Lukas ; Avarikioti, Zeta ; Maffei, Matteo ; Mazumdar, Subhra | Securing Lightning Channels against Rational Miners | Inproceedings Konferenzbeitrag   | 9-Dec-2024 |
| 3 |  | Coutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura | SAT solving for variants of first-order subsumption | Article Artikel | 11-Nov-2024 |
| 4 | | Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura | PolySAT: Word-level Bit-vector Reasoning in Z3 | Presentation Vortrag | 14-Oct-2024 |
| 5 | | Sefranek, Marek | How (Not) to Simulate PLONK | Inproceedings Konferenzbeitrag | 10-Sep-2024 |
| 6 |  | Coutelier, Robin ; Fleury, Mathias ; Kovacs, Laura | Lazy Reimplication in Chronological Backtracking | Inproceedings Konferenzbeitrag | 19-Aug-2024 |
| 7 | | Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura | MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper) | Inproceedings Konferenzbeitrag | 1-Jul-2024 |
| 8 |  | Schoisswohl, Johannes ; Kovács, Laura ; Korovin, Konstantin | VIRAS: Conflict-Driven Quantifier Elimination for Integer-Real Arithmetic | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 9 |  | Georgiou, Pamina ; Hajdu, Marton ; Kovacs, Laura | Saturating Sorting without Sorts | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 10 |  | Hajdu, Marton ; Kovács, Laura ; Rawson, Michael | Rewriting and Inductive Reasoning | Inproceedings Konferenzbeitrag | 26-May-2024 |
| 11 | | Fuchsbauer, Georg ; Wolf, Mathias | Concurrently Secure Blind Schnorr Signatures | Inproceedings Konferenzbeitrag | 8-May-2024 |
| 12 | | Alwen, Joel ; Fuchsbauer, Georg ; Mularczyk, Marta | Updatable Public-Key Encryption, Revisited | Inproceedings Konferenzbeitrag | 28-Apr-2024 |
| 13 | | Bauer, Balthazar ; Fuchsbauer, Georg ; Regen, Fabian | On Proving Equivalence Class Signatures Secure from Non-interactive Assumptions | Inproceedings Konferenzbeitrag | 13-Apr-2024 |
| 14 | | Georgiou, Pamina ; Hajdu, Márton ; Kovács, Laura | Saturating Sorting without Sorts | Preprint Preprint | 6-Mar-2024 |
| 15 | | Andreeva, Elena ; Weninger, Andreas | A TPRF-based pseudo-random number generator | Article Artikel | 28-Jan-2024 |
| 16 |  | Eisenhofer, Clemens ; Kovács, Laura ; Rawson, Michael | Embedding the Connection Calculus in Satisfiability Modulo Theories | Inproceedings Konferenzbeitrag | Jan-2024 |
| 17 | | Jeanteur, Simon ; Kovács, Laura ; Maffei, Matteo ; Rawson, Michael | CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model | Inproceedings Konferenzbeitrag | 2024 |
| 18 | | Avarikioti, Zeta ; Schmid, Stefan ; Tiwari, Samarth | Brief Announcement: Musketeer - Incentive-Compatible Rebalancing for Payment Channel Networks | Inproceedings Konferenzbeitrag | 2024 |
| 19 | | Scherer, Markus ; Blaabjerg, Jeppe Fredsgaard ; Sjösten, Alexander ; Solitro, Magdalena Maria ; Maffei, Matteo | Wappler: Sound Reachability Analysis for WebAssembly | Inproceedings Konferenzbeitrag | 2024 |
| 20 | | Avarikioti, Zeta ; Kędzior, Paweł ; Lizurej, Tomasz ; Michalak, Tomasz | Bribe & Fork: Cheap PCN Bribing Attacks via Forking Threat | Inproceedings Konferenzbeitrag | 2024 |
