Emanuele Bellini 0002, Alessandro De Piccoli, Mattia Formenti, David Gérault, Paul Huynh, Simone Pelizzola, Sergio Polese, Andrea Visconti. Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives. In Jing Deng 0001, Vladimir Kolesnikov, Alexander A. Schwarzmann, editors, Cryptology and Network Security - 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings. Volume 14342 of Lecture Notes in Computer Science, pages 268-292, Springer, 2023. [doi]
@inproceedings{BelliniPFGHPPV23,
title = {Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives},
author = {Emanuele Bellini 0002 and Alessandro De Piccoli and Mattia Formenti and David Gérault and Paul Huynh and Simone Pelizzola and Sergio Polese and Andrea Visconti},
year = {2023},
doi = {10.1007/978-981-99-7563-1_13},
url = {https://doi.org/10.1007/978-981-99-7563-1_13},
researchr = {https://researchr.org/publication/BelliniPFGHPPV23},
cites = {0},
citedby = {0},
pages = {268-292},
booktitle = {Cryptology and Network Security - 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings},
editor = {Jing Deng 0001 and Vladimir Kolesnikov and Alexander A. Schwarzmann},
volume = {14342},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-981-99-7563-1},
}