Stephanie Drzevitzky

Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules

Marco Platzner, Uwe Kastens, Stephanie Drzevitzky, 2009, 2009 International Conference on Reconfigurable Computing and FPGAs.

Proof-Carrying Hardware: Runtime Formal Verification for Secure Dynamic Reconfiguration

Stephanie Drzevitzky, Stephanie Drzevitzky, 2010, 2010 International Conference on Field Programmable Logic and Applications.

Achieving hardware security for reconfigurable systems on chip by a proof-carrying code approach

Marco Platzner, Stephanie Drzevitzky, 2011, 6th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC).

Proof - carrying hardware: a novel approach to reconfigurable hardware security

Stephanie Drzevitzky, 2012 .

Memory security in reconfigurable computers: Combining formal verification with monitoring

Marco Platzner, Tobias Wiersema, Stephanie Drzevitzky, 2014, 2014 International Conference on Field-Programmable Technology (FPT).

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification

Marco Platzner, Uwe Kastens, Stephanie Drzevitzky, 2010, Int. J. Reconfigurable Comput..