共 50 条
- [1] Automated Proofs of Block Cipher Modes of Operation Journal of Automated Reasoning, 2016, 56 : 49 - 94
- [5] Automated Verification of Block Cipher Modes of Operation, an Improved Method FOUNDATIONS AND PRACTICE OF SECURITY, 2011, 6888 : 23 - +
- [6] Automated Analysis and Synthesis of Block-Cipher Modes of Operation 2014 IEEE 27TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF), 2014, : 140 - 152
- [7] Format Preserving Sets: On Diffusion Layers of Format Preserving Encryption Schemes PROGRESS IN CRYPTOLOGY - INDOCRYPT 2016, 2016, 10095 : 411 - 428
- [9] Improved block cipher counter mode of operation schemes Cyberspace Security and Defense: Research Issues, 2005, 196 : 297 - 314
- [10] Performance Analysis of Format Preserving Encryption (FIPS PUBS 74-8) over block ciphers for Numeric data 2013 4TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER & COMMUNICATION TECHNOLOGY (ICCCT), 2013, : 193 - 198