PROFET



Publications

2023 Valerio Cini, Hoeteck Wee - "ABE for Circuits with poly(λ)-sized Keys from LWE" - 64th Annual Symposium on Foundations of Computer Science - FOCS 2023, November 6-9, 2023, Santa Cruz, USA. (accepted).
2023 Valerio Cini, Russell W. F. Lai, Giulio Malavolta - "Lattice-based Succinct Arguments from Vanishing Polynomials" - 43rd Annual International Cryptology Conference - CRYPTO 2023, August 19-24, 2023, Santa Barbara, USA. (accepted).
2023 Omid Mir, Daniel Slamanig, Balthazar Bauer, René Mayrhofer - "Practical Delegatable Anonymous Credentials From Equivalence Class Signatures" - Proceedings on Privacy Enhancing Technologies (PoPETs).
2023 Paul Rösler, Daniel Slamanig, Christoph Striecks - "Unique-Path Identity Based Encryption With Applications to Strongly Secure Messaging" - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques - EUROCRYPT 2023.
2023 Hamza Abusalah, Valerio Cini - "An Incremental PoSW for General Weight Distributions" - 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques - EUROCRYPT 2023.
2022 Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei - "Breaking and Fixing Virtual Channels: Domino Attack and Donner" - 30st Annual Network and Distributed System Security Symposium - NDSS 2023, February 27 - March 3rd 2023, San Diego, USA.
2022 Behzad Abdolmaleki, Daniel Slamanig - "CRS-Updatable Asymmetric Quasi-Adaptive NIZK Arguments" - 23rd International Conference on Cryptology in India - INDOCRYPT 2022.
2022 Martin R. Albrecht, Valerio Cini, Russell W. F. Lai, Giulio Malavolta, Sri AravindaKrishnan Thyagarajan - "Lattice-Based SNARKs: Publicly Verifiable, Preprocessing, and Recursively Composable" - 42nd Annual International Cryptology Conference - CRYPTO 2022, August 13-18 2022, Santa Barbara, USA.
2022 Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei - "Thora: Atomic and Privacy-Preserving Multi-Channel Updates" - 29th ACM Conference on Computer and Communications Security - ACM CCS 2022, November 7-11 2022, Los Angeles, USA.
2022 Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan - "Foundations of Coin Mixing Services" - 29th ACM Conference on Computer and Communications Security - ACM CCS 2022, November 7-11 2022, Los Angeles, USA.
2022 Lukas Aumayr, Sri AravindaKrishnan Thyagarajan, Giulio Malavolta, Pedro Monero-Sánchez, Matteo Maffei - "Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without Watchtowers" - 29th ACM Conference on Computer and Communications Security - ACM CCS 2022, November 7-11 2022, Los Angeles, USA.
2022 Abida Haque, Stephan Krenn, Daniel Slamanig, Christoph Striecks - "Logarithmic-Size (Linkable) Threshold Ring Signatures in the Plain Model" - 25th IACR International Conference on Practice and Theory of Public Key Cryptography - PKC 2022 (virtual).
2021 Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi - "Generalized Channels from Limited Blockchain Scripts and Adaptor Signatures" - 27th Annual International Conference on the Theory and Application of Cryptology and Information Security - ASIACRYPT 2021 (virtual).
2021 Behzad Abdolmaleki, Daniel Slamanig - "Subversion-Resistant Quasi-Adaptive NIZK and Applications to Modular zk-SNARKs" - 20th International Conference on Cryptology and Network Security - CANS 2021 (virtual) (Best paper award).
2021 Peter Chvojka, Tibor Jager, Daniel Slamanig, Christoph Striecks - "Versatile and Sustainable Timed-Release Encryption and Sequential Time-Lock Puzzles" - 26th European Symposium on Research in Computer Security - ESORICS 2021 (virtual).
2021 Andreas Weninger - "Privacy Preserving Authenticated Key Exchange – Modelling, Constructions, Proofs and Verification" - Master Thesis, TU Wien.
2021 Sebastian Ramacher, Daniel Slamanig, Andreas Weninger - "Privacy-Preserving Authenticated Key Exchange: Stronger Privacy and Generic Constructions" - 26th European Symposium on Research in Computer Security - ESORICS 2021 (virtual).
2021 Behzad Abdolmaleki, Daniel Slamanig - "Updatable Trapdoor SPHFs: Modular Construction of Updatable Zero-Knowledge Arguments and More" - 26th Australasian Conference on Information Security and Privacy - ACISP 2021 (virtual).
2021 Lucjan Hanzlik, Daniel Slamanig - "With a Little Help from My Friends: Constructing Practical Anonymous Credentials" - 28th ACM Conference on Computer and Communications Security - ACM CCS 2021 (virtual).
2021 Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi - "Bitcoin-Compatible Virtual Channels" - 42nd IEEE Symposium on Security and Privacy – S&P 2021 (virtual).
2021 Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei - "A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs" - 42nd IEEE Symposium on Security and Privacy – S&P 2021 (virtual).
2021 Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei - "Blitz: Secure Multi-Hop Payments Without Two-Phase Commits" - 30th USENIX Security Symposium – SEC 2021 (virtual).
2021 Valerio Cini, Sebastian Ramacher, Daniel Slamanig, Christoph Striecks, Erkan Tairi - "Updatable Signatures and Message Authentication Codes" - 24th International Conference on Practice and Theory of Public-Key Cryptography - PKC 2021 (virtual).
2021 Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei - "Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain Payments" - 25th International Conference on Financial Cryptography and Data Security - FC 2021 (virtual).
2021 David Derler, Sebastian Ramacher, Daniel Slamanig, Christoph Striecks - "Fine-Grained Forward Secrecy: Allow-List/Deny-List Encryption and Applications" - 25th International Conference on Financial Cryptography and Data Security - FC 2021 (virtual).
2021 Matteo Romiti, Friedhelm Victor, Pedro Moreno-Sanchez, Peter Sebastian Nordholt, Bernhard Haslhofer, Matteo Maffei - "Cross-Layer Deanonymization Methods in the Lightning Protocol" - 25th International Conference on Financial Cryptography and Data Security - FC 2021 (virtual).
2021 David Derler, Kai Gellert, Tibor Jager, Daniel Slamanig, Christoph Striecks - "Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange" - Journal of Cryptology.
2020 Valerio Cini, Sebastian Ramacher, Daniel Slamanig, Christoph Striecks - "CCA Secure (Puncturable) KEMs from Encryption With Non-Negligible Decryption Errors" - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security - ASIACRYPT 2020 (virtual).
2020 David Derler, Stephan Krenn, Kai Samelin, Daniel Slamanig - "Fully Collision-Resistant Chameleon-Hashes from Simpler and Post-Quantum Assumptions" - 12th Conference on Security and Cryptography for Networks - SCN 2020, September 14-16 2020, Amalfi, Italy (virtual).
2020 Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei - "A Quantitative Analysis of Security, Anonymity and Scalability for the Lightning Network" - 5th IEEE Privacy and Security on the Blockchain Workshop - IEEE S&B 2020 (virtual).
2020 Behzad Abdolmaleki, Sebastian Ramacher, Daniel Slamanig - "Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically" - 27th ACM Conference on Computer and Communications Security - ACM CCS 2020, November 9-13 2020 (virtual)..
2020 David Derler, Kai Samelin, Daniel Slamanig - "Bringing Order to Chaos: The Case of Collision-Resistant Chameleon-Hashes" - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography - PKC 2020, June 1-4 2020, Edinburgh, Scotland (virtual).
2019 Behzad Abdolmaleki, Hamidreza Khoshakhlagh, Daniel Slamanig - "A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing" - 17th IMA International Conference on Cryptography and Coding - IMACC 2019, 16-18 December 2019, Oxford, UK.
2019 Mojtaba Khalili, Daniel Slamanig, Mohammad Dakhilalian - "Structure-Preserving Signatures on Equivalence Classes From Standard Assumptions" - 25th Annual International Conference on the Theory and Application of Cryptology and Information Security - ASIACRYPT 2019, December 8-12 2019, Kobe, Japan.
2019 Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei - "Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks" - 26th ACM Conference on Computer and Communications Security - ACM CCS 2019, 11-15 November 2019, London, UK.