Tobias Reiher

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Specification Languages

Reactive Systems

Simulation Model

Formal Languages

Top Venues

USENIX Annual Technical Conference

SpringSim (HPS)

Publications

Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. CoRR (2019)
Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe
RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers. FACS (2019)
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass. CoRR (2018)
Joshua Lind, Christian Priebe, Divya Muthukumaran, Dan O'Keeffe, Pierre-Louis Aublin, Florian Kelbert, Tobias Reiher, David Goltzsche, David M. Eyers, Rüdiger Kapitza, Christof Fetzer, Peter R. Pietzuch
Glamdring: Automatic Application Partitioning for Intel SGX. USENIX Annual Technical Conference (2017)
Stefan Pfennig, Kim Feldhoff, Florina M. Ciorba, Elke Franz, Tobias Reiher, Mario Bielert, Thomas Ilsche, Wolfgang E. Nagel
Simulation models verification for resilient communication on a highly adaptive energy-efficient computer. SpringSim (HPS) (2016)