Publications


Andreas Kogler, Jonas Juffinger, Lukas Giner, Lukas Gerlach, Martin Schwarzl, Michael Schwarz, Daniel Gruss and Stefan Mangard: “Collide+Power: Leaking Inaccessible Data with Software-based Power Side Channels” . Proceedings of the 32nd USENIX Security Symposium. August 9–11, 2023. Anaheim, CA, USA.


Lea Brugger, Laura Kovacs, Anja Komel, Sophie Rain, and Michael Rawson: “CheckMate: Automated Game-Theoretic Security Reasoning”. ACM Conference on Computer and Communications Security , 2023.


Marcel Moosbrugger, Julian Muellner, and Laura Kovacs: “Automated Sensitivity Analysis for Probabilistic Loops” . International Conference on integrated Formal Methods , 2023.


Martina Landman, Sophie Rain, Gerald Futschek, and Laura Kovacs: “Reshaping Unplugged Computer Science Workshops for Primary School Education”. International Conference on Informatics in Schools , 2023.


Clemens Eisenhofer, Ruba Alaassaf, Michael Rawson, and Laura Kovacs: “Non-Classical Logics in Satisfiability Modulo Theories”. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods , 2023.


Giulia Scaffino, Lukas Aumayr, Zeta Avarikioti, Matteo Maffei: “Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFi” . USENIX Security Symposium, August 9–11, 2023.


Barbara Gigerl, Robert Primas, Stefan Mangard: “Secure Context Switching of Masked Software Implementations” . ASIA CCS ’23: ACM ASIA Conference on Computer and Communications Security, July 10-14, 2023.


Ahmed Bhayat, Konstantin Korovin, Laura Kovács, and Johannes Schoisswohl: “Refining Unification with Abstraction” . Proceedings of the 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), June 4-9, 2023.


Thomas Hader, Daniela Kaufmann, and Laura Kovacs: “SMT Solving over Finite Field Arithmetic” . Proceedings of the 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), June 4-9, 2023.


Robin Coutelier, Laura Kovacs, Michael Rawson and Jakob Rath: “SAT-Based Subsumption Resolution” . Proceedings of the 29th International Conference on Automated Deduction (CADE), July 1-4, 2023.


Ahmed Bhayat, Michael Rawson and Johannes Schoisswohl: “Superposition with Delayed Unification” . Proceedings of the 29th International Conference on Automated Deduction (CADE), July 1-4, 2023.


Konstantin Korovin, Laura Kovács, Giles Reger, Johannes Schoisswohl, and Andrei Voronkov: “ALASCA: Reasoning in Quantified Linear Arithmetic”, due to appear in Volume 13993 of the Lecture Notes in Computer Science series, Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Paris, France, April 2023.


Christos Stefo, Zhuolun Xiang, Lefteris Kokoris-Kogias: “Executing and Proving over Dirty Ledgers” ; accepted as talk for: 27th International Conference Financial Cryptography and Data Security 2023.


Shir Cohen, Guy Goren, Lefteris Kokoris-Kogias, Alberto Sonnino, Alexander Spiegelman: “Proof of Availability & Retrieval in a Modular Blockchain Architecture” ; accepted as talk for: 27th International Conference Financial Cryptography and Data Security 2023.


Hosein Hadipour, Marcel Nageler, Maria Eichlseder: “Throwing Boomerangs into Feistel Structures: Application to CLEFIA, WARP, LBlock, LBlock-s and TWINE” . IACR Transactions on Symmetric Cryptology, Vol. 2022/3, p. 271-302.