Simon Schwarz

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Rule Extraction

Unit Propagation

Semantic Search

Top Venues

USENIX Security Symposium

Publications

Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Automatic Bit- and Memory-Precise Verification of eBPF Code. LPAR (2024)
Rafael Uetz, Marco Herzog, Louis Hackländer, Simon Schwarz, Martin Henze
You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks. USENIX Security Symposium (2024)
Rafael Uetz, Marco Herzog, Louis Hackländer, Simon Schwarz, Martin Henze
You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks. CoRR (2023)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
SCL(FOL) Revisited. CoRR (2023)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Exploring Partial Models with SCL. LPAR (2023)
Alexander Streicher, Simon Schwarz
Findoo - Interoperable E-Learning Semantic Search and Content Authoring Assistance. DELFI (2022)
Michael Herrmann, Simon Schwarz, Anja Sturm, Max Wardetzky
Efficient Random Walks on Riemannian Manifolds. CoRR (2022)
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
Exploring Partial Models with SCL. PAAR@IJCAR (2022)
Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach
SPASS-SATT - A CDCL(LA) Solver. CADE (2019)