Stephanie Drzevitzky

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Formal Verification

Reconfigurable Architecture

Top Venues

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner
Memory security in reconfigurable computers: Combining formal verification with monitoring. FPT (2014)
Stephanie Drzevitzky, Marco Platzner
Achieving hardware security for reconfigurable systems on chip by a proof-carrying code approach. ReCoSoC (2011)
Stephanie Drzevitzky, Uwe Kastens, Marco Platzner
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification. Int. J. Reconfigurable Comput. 2010 (2010)
Stephanie Drzevitzky
Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration. FPL (2010)
Stephanie Drzevitzky, Uwe Kastens, Marco Platzner
Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. ReConFig (2009)