%0 Journal Article %1 journals/iacr/LaiLSTWY23 %A Lai, Li-Chang %A Liu, Jiaxiang %A Shi, Xiaomu %A Tsai, Ming-Hsien %A Wang, Bow-Yaw %A Yang, Bo-Yin %D 2023 %J IACR Cryptol. ePrint Arch. %K dblp %P 1861 %T Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking. %U http://dblp.uni-trier.de/db/journals/iacr/iacr2023.html#LaiLSTWY23 %V 2023

@article{journals/iacr/LaiLSTWY23, added-at = {2024-01-10T00:00:00.000+0100}, author = {Lai, Li-Chang and Liu, Jiaxiang and Shi, Xiaomu and Tsai, Ming-Hsien and Wang, Bow-Yaw and Yang, Bo-Yin}, biburl = {https://www.bibsonomy.org/bibtex/21f80a23e025342071393190329b99160/dblp}, ee = {https://eprint.iacr.org/2023/1861}, interhash = {dd06d8b27a3e9853706d4726b61cd3d5}, intrahash = {1f80a23e025342071393190329b99160}, journal = {IACR Cryptol. ePrint Arch.}, keywords = {dblp}, pages = 1861, timestamp = {2024-04-09T03:20:19.000+0200}, title = {Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence Checking.}, url = {http://dblp.uni-trier.de/db/journals/iacr/iacr2023.html#LaiLSTWY23}, volume = 2023, year = 2023 }