%0 Journal Article %1 journals/tches/Richter-Brockmann22a %A Richter-Brockmann, Jan %A Feldtkeller, Jakob %A Sasdrich, Pascal %A Güneysu, Tim %D 2022 %J IACR Trans. Cryptogr. Hardw. Embed. Syst. %K dblp %N 4 %P 255-284 %T VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering. %U http://dblp.uni-trier.de/db/journals/tches/tches2022.html#Richter-Brockmann22a %V 2022

@article{journals/tches/Richter-Brockmann22a, added-at = {2024-05-07T00:00:00.000+0200}, author = {Richter-Brockmann, Jan and Feldtkeller, Jakob and Sasdrich, Pascal and Güneysu, Tim}, biburl = {https://www.bibsonomy.org/bibtex/20c9c79f7975bdeb11506f01c4931829a/dblp}, ee = {https://www.wikidata.org/entity/Q113691318}, interhash = {eca940d4b33f4687bd59c24cd755721c}, intrahash = {0c9c79f7975bdeb11506f01c4931829a}, journal = {IACR Trans. Cryptogr. Hardw. Embed. Syst.}, keywords = {dblp}, number = 4, pages = {255-284}, timestamp = {2024-05-13T07:48:58.000+0200}, title = {VERICA - Verification of Combined Attacks Automated formal verification of security against simultaneous information leakage and tampering.}, url = {http://dblp.uni-trier.de/db/journals/tches/tches2022.html#Richter-Brockmann22a}, volume = 2022, year = 2022 }