Publications

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.

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.