Oliver Stengele
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2021
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2020 | Middleware | Practical Trade-Offs in Integrity Protection for Binaries via Ethereum. | Oliver Stengele, Jan Droll, Hannes Hartenstein |
| 2019 | SACMAT | Access Control for Binary Integrity Protection using Ethereum. | Oliver Stengele, Andreas Baumeister, Pascal Birnstill, Hannes Hartenstein |
| 2018 | ESORICS | Atomic Information Disclosure of Off-Chained Computations Using Threshold Encryption. | Oliver Stengele, Hannes Hartenstein |