Sven Argo

According to our database, Sven Argo authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Detecting and Explaining (In-)equivalence of Context-Free Grammars.

Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel

Proc. ACM Program. Lang., 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

pracy: A Practical Compiler for Attribute-Based Encryption in Python.

Sven Argo, Marloes Venema, Adrian Ackermann, Tim Güneysu

IACR Cryptol. ePrint Arch., 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, Mottaqiallah Taouil, Said Hamdioui

IACR Cryptol. ePrint Arch., 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, Jan Richter-Brockmann, Jeffrey Smith, Mottaqiallah Taouil, Said Hamdioui

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

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

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

Practical Post-Quantum Signatures for Privacy.

Sven Argo, Tim Güneysu, Corentin Jeudy, Georg Land, Adeline Roux-Langlois, Olivier Sanders

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

2023

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, Said Hamdioui

Proceedings of the IEEE European Test Symposium, 2023