Projekte pro Jahr
Abstract
Originalsprache | englisch |
---|---|
Titel | Automated Technology for Verification and Analysis |
Untertitel | 19th International Symposium, ATVA 2021 |
Redakteure/-innen | Z. Hou, V. Ganesh |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer |
Seiten | 249-265 |
Seitenumfang | 16 |
ISBN (elektronisch) | 978-3-030-88885-5 |
ISBN (Print) | 978-3-030-88884-8 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2021 |
Veranstaltung | 19th International Symposium on Automated Technology for Verification and Analysis : ATVA 2021 - Virtuell, Australien Dauer: 18 Okt. 2021 → 22 Okt. 2021 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Band | 12971 |
Konferenz
Konferenz | 19th International Symposium on Automated Technology for Verification and Analysis |
---|---|
Kurztitel | ATVA 2021 |
Land/Gebiet | Australien |
Ort | Virtuell |
Zeitraum | 18/10/21 → 22/10/21 |
ASJC Scopus subject areas
- Hardware und Architektur
- Informatik (sonstige)
Projekte
- 2 Abgeschlossen
-
FERMION - Formale Verifizierung maskierter Hardware-Implementierungen
Bloem, R. (Teilnehmer (Co-Investigator))
2/01/19 → 1/01/22
Projekt: Forschungsprojekt
-
Dessnet - Zuverlässige, sichere und zeitnahe Sensornetzwerke
Mangard, S. (Teilnehmer (Co-Investigator)), Glanzer, C. (Teilnehmer (Co-Investigator)), Görtschacher, L. J. (Teilnehmer (Co-Investigator)), Bösch, W. (Teilnehmer (Co-Investigator)), Grosinger, J. (Teilnehmer (Co-Investigator)), Fischbacher, R. B. (Teilnehmer (Co-Investigator)), Deutschmann, B. (Teilnehmer (Co-Investigator)) & Shetty, D. (Teilnehmer (Co-Investigator))
1/06/17 → 31/05/21
Projekt: Forschungsprojekt
-
Proving SIFA protection of masked redundant circuits
Hadzic, V., Primas, R. & Bloem, R., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 471-481 11 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Bloem, R., Groß, H., Iusupov, R., Könighofer, B., Mangard, S. & Winter, J., 2018, EUROCRYPT . Springer, Band 10821. S. 321-353 33 S. (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
SIFA: Exploiting Ineffective Fault Inductions on Symmetric Cryptography
Dobraunig, C. E., Eichlseder, M., Korak, T., Mangard, S., Mendel, F. & Primas, R., 2018, in: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2018, 3, S. 547-572Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access