Towards an Efficient CNF Encoding of Block Ciphers
Authors: Daniel Waszkiewicz and Konstanty Junosza-Szaniawski
Paper Information
| Title: | Towards an Efficient CNF Encoding of Block Ciphers |
| Authors: | Daniel Waszkiewicz and Konstanty Junosza-Szaniawski |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | CNF Encoding, Straight-line programs, XOR-CNF, Block Ciphers |
| Pages: | 16 |
| Talk: | Aug 01 09:00 (Session 26G: Applications) |
| Paper: |  |