Tobias F. Pfeffer

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 7

Top Topics

Automatic Analysis

Information Flow Control

Top Venues

Publications

Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. QRS (2019)
Tobias F. Pfeffer, Sabine Glesner
Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. CCSW@CCS (2019)
Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner
Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. CODASPY (2019)
Konstantin Scherer, Tobias F. Pfeffer, Sabine Glesner
I/O Interaction Analysis of Binary Code. WETICE (2019)
Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE (2018)
Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech (2017)
Tobias F. Pfeffer, Stefan Sydow, Joachim Fellmuth, Paula Herber
Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. QRS (2016)
Tobias F. Pfeffer, Paula Herber, Jörg Schneider
Reverse Engineering of ARM Binaries Using Formal Transformations. SIN (2014)