Page Content
- © Tilman Vogler
Email: tobias.pfeffer(at)tu-berlin.de
Room: TEL 1009
Telephone: +49 (30) 314 - 22662
Fax: +49 (30) 314 - 78866
Contact Hours: by appointment per mail
Research Areas
- Embedded Systems Security
- Static & Dynamic Object-Code Analysis
- Noninterference Enforcement
Projects
- Project Head VERAPRO
Authorized Access to Assorted Publications
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
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*
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
SIN '14 Proceedings of the 7th International Conference on Security of Information and Networks, 2014
Accepted Paper 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.
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.
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.
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.
IEEE International Conference on Software Quality, Reliability & Security (QRS'16). IEEE.