%0 Conference Paper %1 conf/isita/MienoYOFA20 %A Mieno, Takehiko %A Yoshimura, Togo %A Okazaki, Hiroyuki %A Futa, Yuichi %A Arai, Kenichi %B ISITA %D 2020 %I IEEE %K dblp %P 602-606 %T Formal Verification of Merkle-Damgård Construction in ProVerif. %U http://dblp.uni-trier.de/db/conf/isita/isita2020.html#MienoYOFA20 %@ 978-4-88552-330-4

@inproceedings{conf/isita/MienoYOFA20, added-at = {2021-03-22T00:00:00.000+0100}, author = {Mieno, Takehiko and Yoshimura, Togo and Okazaki, Hiroyuki and Futa, Yuichi and Arai, Kenichi}, biburl = {https://www.bibsonomy.org/bibtex/25bd961a3a9d962a8023fdea4317372fb/dblp}, booktitle = {ISITA}, crossref = {conf/isita/2020}, ee = {https://ieeexplore.ieee.org/document/9366163}, interhash = {d43144dc6ec37cc5e6d880b365373d0d}, intrahash = {5bd961a3a9d962a8023fdea4317372fb}, isbn = {978-4-88552-330-4}, keywords = {dblp}, pages = {602-606}, publisher = {IEEE}, timestamp = {2024-04-10T00:02:46.000+0200}, title = {Formal Verification of Merkle-Damgård Construction in ProVerif.}, url = {http://dblp.uni-trier.de/db/conf/isita/isita2020.html#MienoYOFA20}, year = 2020 }