Marc Leinweber
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2023
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | Middleware | ABCperf: Performance Evaluation of Fault Tolerant State Machine Replication Made Simple: Demo Abstract. | Tilo Spannagel, Marc Leinweber, Adriano Castro, Hannes Hartenstein |
| 2021 | SACMAT | Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control. | Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert |
| 2019 | ESORICS | TEE-Based Distributed Watchtowers for Fraud Protection in the Lightning Network. | Marc Leinweber, Matthias Grundmann, Leonard Schnborn, Hannes Hartenstein |