Mohan, Vishwath; Larsen, Per; Brunthaler, Stefan; Hamlen, Kevin W.; Franz, Michael:
Opaque Control-Flow Integrity
. In: Proceedings of the Network and Distributed System Security Symposium, San Diego, CA, USA, February 8-11, 2015 (NDSS '15),
2015

Konferenzbeitrag / Conference Paper

Patrick-Evans, James; Cavallaro, Lorenzo; Kinder, Johannes:
POTUS: Probing Off-The-Shelf USB Drivers with Symbolic Fault Injection
. In: 11th USENIX Workshop on Offensive Technologies (WOOT),
2017

Konferenzbeitrag / Conference Paper

Kinder, Johannes; Veith, Helmut:
Precise Static Analysis of Untrusted Driver Binaries
, Piscataway
, IEEE
. In: Proceedings 10th International Conference Formal Methods in Computer-Aided Design (FMCAD),
2010
. - S. 43-50

Konferenzbeitrag / Conference Paper

Kinder, Johannes; Katzenbeisser, Stefan; Schallhart, Christian; Veith, Helmut:
Proactive Detection of Computer Worms Using Model Checking
. In: IEEE Transactions on Dependable and Secure Computing,
7.
2010
, 4
. - S. 424-438

Zeitschriftenartikel / Journal Article

Patrick-Evans, James; Cavallaro, Lorenzo; Kinder, Johannes:
Probabilistic Naming of Functions in Stripped Binaries
, New York, NY
, Association for Computing Machinery
. In: ACSAC '20: Annual Computer Security Applications Conference,
2020
. - S. 373-385

Konferenzbeitrag / Conference Paper

Cavallaro, Lorenzo; Kinder, Johannes; Domingo-Ferrer, Josep (Ed.):
Proceedings of the 18th ACM Workshop on Privacy in the Electronic Society, WPES@CCS 2019
, New York, NY
, ACM
2019

Konferenzband / Conference Publication

Homescu, Andrei; Neisius, Steven; Larsen, Per; Brunthaler, Stefan; Franz, Michael:
Profile-guided Automatic Software Diversity
. In: Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization,
2013
. - S. 1-11

Konferenzbeitrag / Conference Paper

Brunthaler, Stefan:
Project Install-Time Diversity
, Neubiberg
. In: CODE annual report 2021,
2022
. - S. 43

Sonstiges / Other Publication

Brunthaler, Stefan:
Project µFocus
, Neubiberg
. In: CODE annual report 2020,
2021
. - S. 33

Sonstiges / Other Publication

Brunthaler, Stefan:
Project µRAD
, Neubiberg
. In: CODE annual report 2020,
2021
. - S. 32

Sonstiges / Other Publication