FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: