Dependability of Future Edge-AI Processors: Pandora's Box. - Manil Dev Gomony; Anteneh Gebregiorgis; Moritz Fieback; Marc Geilen; Sander Stuijk; Jan Richter-Brockmann; Rajendra Bishnoi; Sven Argo; Lara Arche Andradas; Tim Güneysu; Mottaqiallah Taouil; Henk Corporaal; et al. (ETS, 2023)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs. - Jérémy Thibault; Roberto Blanco; Dongjae Lee; Sven Argo; Arthur Azevedo de Amorim; Aïna Linn Georges; Catalin Hritcu; Andrew Tolmach (CCS, 2024)

Detecting and explaining (in)equivalence of context-free grammars. - Marko Schmellenkamp; Thomas Zeume; Sven Argo; Sandra Kiefer; Cedric Siems; Fynn Stebel (CoRR, 2024)

Practical Post-Quantum Signatures for Privacy. - Sven Argo; Tim Güneysu; Corentin Jeudy; Georg Land; Adeline Roux-Langlois; Olivier Sanders (IACR Cryptol. ePrint Arch., 2024)

Multi-Partner Project: Securing Future Edge-AI Processors in Practice (CONVOLVE). - Sven Argo; Henk Corporaal; Alejandro Garza; Marc Geilen; Manil Dev Gomony; Tim Güneysu; Adrian Marotzke; Fouwad Jamil Mir; Jan Richter-Brockmann; Jeffrey Smith 001; Mottaqiallah Taouil; Said Hamdioui (DATE, 2025)

Multi-Partner Project: Securing Future Edge-AI Processors in Practice (CONVOLVE). - Sven Argo; Henk Corporaal; Alejandro Garza; Marc Geilen; Manil Dev Gomony; Tim Güneysu; Adrian Marotzke; Fouwad Jamil Mir; Christian Larmann; Jan Richter-Brockmann; Jeffrey Smith 001; Mottaqiallah Taouil; et al. (IACR Cryptol. ePrint Arch., 2025)

pracy: A Practical Compiler for Attribute-Based Encryption in Python. - Sven Argo; Marloes Venema; Adrian Ackermann; Tim Güneysu (IACR Cryptol. ePrint Arch., 2025)

ABE Cubed: Advanced Benchmarking Extensions for ABE Squared. - Sven Argo; Marloes Venema; Doreen Riepel; Tim Güneysu; Diego F. Aranha (IACR Cryptol. ePrint Arch., 2025)