Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. - Stephanie Drzevitzky; Uwe Kastens; Marco Platzner (ReConFig, 2009)

Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration. - Stephanie Drzevitzky (FPL, 2010)

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification. - Stephanie Drzevitzky; Uwe Kastens; Marco Platzner (Int. J. Reconfigurable Comput., 2010)

Achieving hardware security for reconfigurable systems on chip by a proof-carrying code approach. - Stephanie Drzevitzky; Marco Platzner (ReCoSoC, 2011)

Proof - carrying hardware: a novel approach to reconfigurable hardware security. - Stephanie Drzevitzky (2012)

Memory security in reconfigurable computers: Combining formal verification with monitoring. - Tobias Wiersema; Stephanie Drzevitzky; Marco Platzner (FPT, 2014)