Jan Richter-Brockmann, Jakob Feldtkeller, Pascal Sasdrich, Tim Güneysu. VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering. IACR Trans. Cryptogr. Hardw. Embed. Syst., 2022(4):255-284, 2022. [doi]
@article{Richter-Brockmann22a,
title = {VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering},
author = {Jan Richter-Brockmann and Jakob Feldtkeller and Pascal Sasdrich and Tim Güneysu},
year = {2022},
doi = {10.46586/tches.v2022.i4.255-284},
url = {https://doi.org/10.46586/tches.v2022.i4.255-284},
researchr = {https://researchr.org/publication/Richter-Brockmann22a},
cites = {0},
citedby = {0},
journal = {IACR Trans. Cryptogr. Hardw. Embed. Syst.},
volume = {2022},
number = {4},
pages = {255-284},
}