Stephanie Drzevitzky und Marco Platzner - Info zur Person

(1 - 13 von 14

)

dblp: Marco Platzner

dblp.uni-trier.de

List of computer science publications by Marco Platzner

Hardware/Software Co-Design - ag-kastens.uni …

ag-kastens.cs.uni-paderborn.de

Stephanie Drzevitzky, Uwe Kastens, und Marco Platzner. Proof-carrying Hardware: Towards Runtime Verification of Reconfigurable Modules. In ...

DBLP Proof-Carrying Code.

dblp.cloudmining.net

Stephanie Drzevitzky, Marco Platzner : Achieving hardware security for reconfigurable systems on chip by a proof-carrying code approach.

Selected Papers from ReconFig International Conference on...

www.hindawi.com

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification, Stephanie Drzevitzky, Uwe Kastens, and Marco Platzner Volume (2010), Article ID

Universität Paderborn | Publications

groups.uni-paderborn.de

Tobias Wiersema, Stephanie Drzevitzky and Marco Platzner. Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. In Jialin Chen, Wenbo Yin, Yuichiro Shibata, Lingli Wang, Hayden Kwok-Hay So and Yuchun Ma (editors):

Alle Infos zum Namen "Stephanie Drzevitzky"

Stephanie Drzevitzky - researchr alias

researchr.org

Achieving hardware security for reconfigurable systems on chip by a proof-carrying code approachStephanie Drzevitzky, Marco Platzner. recosoc 2011: 1-8 [doi] ...

2014 International Conference on Field-Programmable Technology (FPT...

technodocbox.com

... Formal Verification with Monitoring Tobias Wiersema, Stephanie Drzevitzky and Marco Platzner An FPGA-based Spectral Anomaly Detection System Duncan ...

6th International Workshop on Reconfigurable Communication-Centric...

technodocbox.com

... systems Achieving Hardware Security for Reconfigurable Systems on Chip by a Proof-Carrying Code Approach Stephanie Drzevitzky and Marco Platzner.

ICFPT 2014

www.icfpt2014.org

Memory Security in Reconfigurable Computers: Combining Formal Verification with Monitoring. Tobias Wiersema, Stephanie Drzevitzky and Marco Platzner ...

Marco Platzner - Publications - HiPEAC

www.hipeac.org

Memory security in reconfigurable computers: Combining formal verification with monitoringTobias Wiersema, Stephanie Drzevitzky, Marco Platzner · ReconOS: ...

Universität Paderborn | Alle Veröffentlichungen

ag-kastens.cs.upb.de

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying In International Workshop on Software Version and Configuration Control '88 (Stuttgart).

Universität Paderborn | Hardware/Software Co-Design

ag-kastens.cs.upb.de

Stephanie Drzevitzky, Uwe Kastens, Marco Platzner: Proof-Carrying Hardware: Concepts and Prototype Tool Flow for Online Verification. In International Journal ...

Uwe Kastens - researchr alias

researchr.org

Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online VerificationStephanie Drzevitzky, Uwe Kastens, Marco Platzner. ijrc, 2010, [doi].

Verwandte Suchanfragen zu Stephanie Drzevitzky

Tobias Wiersema
Markus Happe
Marco Platzner

Julia Drzevitzky

Personen
Vorname "Stephanie" (33975)
Name "Drzevitzky" (2)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Stephanie Drzevitzky und Marco Platzner Person-Info