Simon Schwarz

According to our database, Simon Schwarz authored at least 9 papers between 2019 and 2025.

Collaborative distances:

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

2025

Gröbner Bases for Boolean Function Minimization.

Nicolas Faroß, Simon Schwarz

Math. Comput. Sci., December, 2025

Efficient Random Walks on Riemannian Manifolds.

Simon Schwarz, Michael Herrmann, Anja Sturm, Max Wardetzky

Found. Comput. Math., February, 2025

2024

You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks.

Rafael Uetz, Marco Herzog, Louis Hackländer, Simon Schwarz, Martin Henze

Proceedings of the 33rd USENIX Security Symposium, 2024

Efficient and Generic Microarchitectural Hash-Function Recovery.

Lukas Gerlach, Simon Schwarz, Nicolas Faroß, Michael Schwarz

Proceedings of the IEEE Symposium on Security and Privacy, 2024

Automatic Bit- and Memory-Precise Verification of eBPF Code.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

SCL(FOL) Revisited.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

CoRR, 2023

2022

Exploring Partial Models with SCL.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022

Findoo - Interoperable E-Learning Semantic Search and Content Authoring Assistance.

Alexander Streicher, Simon Schwarz

Proceedings of the DELFI 2022, 2022

2019

SPASS-SATT - A CDCL(LA) Solver.

Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 27, 2019