Simon Schwarz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | A Two-Watched Literal Scheme for First-Order Logic. | Yasmine Briefs, Martin Bromberger, Tobias Gehl, Lorenz Leutgeb, Simon Schwarz, Christoph Weidenbach |
| 2026 | WWW | Trust on Reload: Securing Browser-Based End-to-End Encryption. | Simon Schwarz, Florian Bauckholt, Leon Trampert |
| 2024 | LPAR | Automatic Bit- and Memory-Precise Verification of eBPF Code. | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2024 | SP | Efficient and Generic Microarchitectural Hash-Function Recovery. | Lukas Gerlach, Simon Schwarz, Nicolas Faro, Michael Schwarz |
| 2023 | LPAR | Exploring Partial Models with SCL. | Martin Bromberger, Simon Schwarz, Christoph Weidenbach |
| 2019 | CADE | SPASS-SATT - A CDCL(LA) Solver. | Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach |