TU Berlin

Software and Embedded Systems EngineeringTobias Pfeffer

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Tobias Pfeffer, M. Sc.

Lupe

Email: tobias.pfeffer(at)tu-berlin.de

Raum:     TEL 1009
Telefon:  +49 (30) 314 - 22662
Fax:        +49 (30) 314 - 78866

Sprechstunde: Nach Vereinbarung per Mail

Arbeitsgebiete

  • Embedded Systems Security
  • Static & Dynamic Object-Code Analysis
  • Noninterference Enforcement

Projekte

Autorisierter Zugriff auf ausgewählte Veröffentlichungen

Timing-Sensitive Synchronization for Efficient Secure Multi-Execution

Tobias Pfeffer, Sabine Glesner
CCSW'19 Proceedings of the 2019 ACM SIGSAC Conference on Cloud Computing Security Workshop, 2019

Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution

Tobias Pfeffer, Thomas Göthel, Sabine Glesner
CODASPY '19 Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019
*Outstanding Paper Award*

Reverse Engineering of ARM Binaries Using Formal Transformations

Tobias F. Pfeffer, Paula Herber, Jörg Schneider
SIN '14 Proceedings of the 7th International Conference on Security of Information and Networks, 2014

Accepted Versions

Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution

Pfeffer, T., Göthel, T. and Glesner, S. (2019).
Software Quality, Reliability and Security (QRS), 2019 IEEE International Conference on. IEEE Computer Society.

I/O Interaction Analysis of Binary Code

Scherer, K., Pfeffer, T. and Glesner, S. (2019).
VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2019). IEEE Computer Society.

Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language

Pfeffer, T., Herber, P., Druschke, L. and Glesner, S. (2018).
VSC Track on Validation of Safety critical Collaboration systems at the IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2018). IEEE Computer Society, 235 - 240.

Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking

Pfeffer, T., Sydow, S., Fellmuth, J. and Herber, P. (2016).
IEEE International Conference on Software Quality, Reliability & Security (QRS'16). IEEE.

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe