Tobias Reiher

According to our database, Tobias Reiher authored at least 4 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers.

Tobias Reiher, Alexander Senier, Jerónimo Castrillón, Thorsten Strufe

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass.

Oleksii Oleksenko, Bohdan Trach, Tobias Reiher, Mark Silberstein, Christof Fetzer

CoRR, 2018

2017

Glamdring: Automatic Application Partitioning for Intel SGX.

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

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

2016

Simulation models verification for resilient communication on a highly adaptive energy-efficient computer.

Stefan Pfennig, Kim Feldhoff, Florina M. Ciorba, Elke Franz, Tobias Reiher, Mario Bielert, Thomas Ilsche, Wolfgang E. Nagel

Proceedings of the 24th High Performance Computing Symposium, 2016