Taddeus Kroes

According to our database, Taddeus Kroes authored at least 5 papers between 2017 and 2020.

Collaborative distances:

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

2020

BinRec: dynamic binary lifting and recompilation.

Anil Altinay, Joseph Nash, Taddeus Kroes, Prabhu Rajasekaran, Dixin Zhou, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Cristiano Giuffrida, Herbert Bos, Michael Franz

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2018

Delta pointers: buffer overflow checks without the checks.

Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, Cristiano Giuffrida

Proceedings of the Thirteenth EuroSys Conference, 2018

Type-After-Type: Practical and Complete Type-Safe Memory Reuse.

Erik van der Kouwe, Taddeus Kroes, Chris Ouwehand, Herbert Bos, Cristiano Giuffrida

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

Fast and Generic Metadata Management with Mid-Fat Pointers.

Taddeus Kroes, Koen Koning, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe

Proceedings of the 10th European Workshop on Systems Security, 2017

JTR: A Binary Solution for Switch-Case Recovery.

Lucian Cojocar, Taddeus Kroes, Herbert Bos

Proceedings of the Engineering Secure Software and Systems - 9th International Symposium, 2017