Cited By
View all- Lai LLiu JShi XTsai MWang BYang B(2024)Automatic Verification of Cryptographic Block Function Implementations with Logical Equivalence CheckingComputer Security – ESORICS 202410.1007/978-3-031-70903-6_19(377-395)Online publication date: 16-Sep-2024