​
Login / Signup
Taddeus Kroes
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 5
Top Topics
Metadata
Multiresolution
Metadata Management
Case Base
Top Venues
EuroSys
ESSoS
EUROSEC
ACSAC
</>
Publications
</>
Anil Altinay
,
Joseph Nash
,
Taddeus Kroes
,
Prabhu Rajasekaran
,
Dixin Zhou
,
Adrian Dabrowski
,
David Gens
,
Yeoul Na
,
Stijn Volckaert
,
Cristiano Giuffrida
,
Herbert Bos
,
Michael Franz
BinRec: dynamic binary lifting and recompilation.
EuroSys
(2020)
Erik van der Kouwe
,
Taddeus Kroes
,
Chris Ouwehand
,
Herbert Bos
,
Cristiano Giuffrida
Type-After-Type: Practical and Complete Type-Safe Memory Reuse.
ACSAC
(2018)
Taddeus Kroes
,
Koen Koning
,
Erik van der Kouwe
,
Herbert Bos
,
Cristiano Giuffrida
Delta pointers: buffer overflow checks without the checks.
EuroSys
(2018)
Taddeus Kroes
,
Koen Koning
,
Cristiano Giuffrida
,
Herbert Bos
,
Erik van der Kouwe
Fast and Generic Metadata Management with Mid-Fat Pointers.
EUROSEC
(2017)
Lucian Cojocar
,
Taddeus Kroes
,
Herbert Bos
JTR: A Binary Solution for Switch-Case Recovery.
ESSoS
(2017)