Stephanie Drzevitzky

According to our database, Stephanie Drzevitzky authored at least 6 papers between 2009 and 2014.

Collaborative distances:

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

2014

Memory security in reconfigurable computers: Combining formal verification with monitoring.

Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner

Proceedings of the 2014 International Conference on Field-Programmable Technology, 2014

2012

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

Stephanie Drzevitzky

PhD thesis, 2012

2011

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

Stephanie Drzevitzky, Marco Platzner

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

2010

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

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner

Int. J. Reconfigurable Comput., 2010

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

Stephanie Drzevitzky

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009

Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules.

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner

Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009