Katalog der Deutschen Nationalbibliothek

Go to:

Media

Free online access
Free online access

Jan Richter-Brockmann, Aein Rezaei Shahmirzadi, Pascal Sasdrich et al.

FIVER – Robust verification of countermeasures against fault injections

Published in: IACR transactions on cryptographic hardware and embedded systems 2021, 4

Title

FIVER – Robust verification of countermeasures against fault injections

Involved 

Jan Richter-Brockmann (Verfasser)
Aein Rezaei Shahmirzadi (Verfasser)
Pascal Sasdrich (Verfasser)
Amir Moradi (Verfasser)
Tim Güneysu (Verfasser)

Published in

IACR transactions on cryptographic hardware and embedded systems 2021, 4, Seite 447-473

Published

2021

Language

Englisch

Country

Deutschland

Topic

Informatik

Subject

FIA
Fault Verification
Formal Verification
BDD
Symbolic Simulation

Persistent identifier

urn:nbn:de:hbz:294-TCHES-2211 (URN)
10.46586/tches.v2021.i4.447-473 (DOI)

Record ID

1246481030
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal