SHIVA: Sichere Hardware in der Informationsverarbeitung Formaler Nachweis komplexer Sicherheitseigenschaften in rekonfigurierbarer Infrastruktur
| Title: | SHIVA: Sichere Hardware in der Informationsverarbeitung Formaler Nachweis komplexer Sicherheitseigenschaften in rekonfigurierbarer Infrastruktur |
|---|---|
| Authors: | Kochte, Michael A.; Sauer, Matthias; Raiola, Pascal; Becker, Bernd; Wunderlich, Hans-Joachim |
| Publication Year: | 2016 |
| Collection: | University of Freiburg: FreiDok |
| Document Type: | conference object |
| Language: | German |
| Relation: | https://freidok.uni-freiburg.de/data/131286 |
| Availability: | https://freidok.uni-freiburg.de/data/131286 |
| Accession Number: | edsbas.B469C2AF |
| Database: | BASE |