
VERICA - Verification of Combined Attacks
Author(s) -
Jan Richter-Brockmann,
Jakob Feldtkeller,
Pascal Sasdrich,
Tim Güneysu
Publication year - 2022
Publication title -
iacr transactions on cryptographic hardware and embedded systems
Language(s) - Uncategorized
Resource type - Journals
ISSN - 2569-2925
DOI - 10.46586/tches.v2022.i4.255-284
Subject(s) - computer science , implementation , cryptographic primitive , cryptography , adversary , computer security , context (archaeology) , cryptographic protocol , embedded system , software engineering , paleontology , biology