%0 Conference Paper %1 conf/asiacrypt/0001SK19 %A Koch, Alexander %A Schrempp, Michael %A Kirsten, Michael %B ASIACRYPT (1) %D 2019 %E Galbraith, Steven D. %E Moriai, Shiho %I Springer %K dblp %P 488-517 %T Card-Based Cryptography Meets Formal Verification. %U http://dblp.uni-trier.de/db/conf/asiacrypt/asiacrypt2019-1.html#0001SK19 %V 11921 %@ 978-3-030-34578-5

@inproceedings{conf/asiacrypt/0001SK19, added-at = {2023-06-26T00:00:00.000+0200}, author = {Koch, Alexander and Schrempp, Michael and Kirsten, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2e61b112f1436841f0be4e370c6a1b3a3/dblp}, booktitle = {ASIACRYPT (1)}, crossref = {conf/asiacrypt/2019-1}, editor = {Galbraith, Steven D. and Moriai, Shiho}, ee = {https://doi.org/10.1007/978-3-030-34578-5_18}, interhash = {76e729266c3969ff257b287b61875768}, intrahash = {e61b112f1436841f0be4e370c6a1b3a3}, isbn = {978-3-030-34578-5}, keywords = {dblp}, pages = {488-517}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:34:26.000+0200}, title = {Card-Based Cryptography Meets Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/asiacrypt/asiacrypt2019-1.html#0001SK19}, volume = 11921, year = 2019 }