Concepedia

Stephanie Drzevitzky

SD

Statistics

Publications

5

Citations

117

H-Index

5

Active since

2009

Affiliations

Paderborn University(Current)

Stephanie Drzevitzky is an author at Paderborn University specializing in security for reconfigurable hardware, computer science, and computer engineering.

Publications per year

2009–2014

5

Publications

5

Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner · 2009 · 50 citations

, , +17

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

Stephanie Drzevitzky · 2010 · 26 citations

, , +17

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

Stephanie Drzevitzky, Marco Platzner · 2011 · 17 citations

, , +17

Memory security in reconfigurable computers: Combining formal verification with monitoring

Tobias Wiersema, Stephanie Drzevitzky, Marco Platzner · 2014 · 13 citations

, , +17

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

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner · International Journal of Reconfigurable Computing · 2010 · 11 citations · Full text

, , +17

1–5 of 5