@inproceedings{DBLP:conf/cans/BelliniPFGHPPV23,
  author       = {Emanuele Bellini and
                  Alessandro De Piccoli and
                  Mattia Formenti and
                  David G{\'{e}}rault and
                  Paul Huynh and
                  Simone Pelizzola and
                  Sergio Polese and
                  Andrea Visconti},
  editor       = {Jing Deng and
                  Vladimir Kolesnikov and
                  Alexander A. Schwarzmann},
  title        = {Differential Cryptanalysis with SAT, SMT, MILP, and {CP:} {A} Detailed
                  Comparison for Bit-Oriented Primitives},
  booktitle    = {Cryptology and Network Security - 22nd International Conference, {CANS}
                  2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14342},
  pages        = {268--292},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-981-99-7563-1\_13},
  doi          = {10.1007/978-981-99-7563-1\_13},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cans/BelliniPFGHPPV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vFR9aCA7Mzs6KByCP","bibbaseid":"bellini-piccoli-formenti-gaposerault-huynh-pelizzola-polese-visconti-differentialcryptanalysiswithsatsmtmilpandcpadetailedcomparisonforbitorientedprimitives-2023","author_short":["Bellini, E.","Piccoli, A. D.","Formenti, M.","G'erault, D.","Huynh, P.","Pelizzola, S.","Polese, S.","Visconti, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Emanuele"],"propositions":[],"lastnames":["Bellini"],"suffixes":[]},{"firstnames":["Alessandro","De"],"propositions":[],"lastnames":["Piccoli"],"suffixes":[]},{"firstnames":["Mattia"],"propositions":[],"lastnames":["Formenti"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["G'erault"],"suffixes":[]},{"firstnames":["Paul"],"propositions":[],"lastnames":["Huynh"],"suffixes":[]},{"firstnames":["Simone"],"propositions":[],"lastnames":["Pelizzola"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Polese"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Visconti"],"suffixes":[]}],"editor":[{"firstnames":["Jing"],"propositions":[],"lastnames":["Deng"],"suffixes":[]},{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Kolesnikov"],"suffixes":[]},{"firstnames":["Alexander","A."],"propositions":[],"lastnames":["Schwarzmann"],"suffixes":[]}],"title":"Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives","booktitle":"Cryptology and Network Security - 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings","series":"Lecture Notes in Computer Science","volume":"14342","pages":"268–292","publisher":"Springer","year":"2023","url":"https://doi.org/10.1007/978-981-99-7563-1\\_13","doi":"10.1007/978-981-99-7563-1_13","timestamp":"Tue, 28 Nov 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/cans/BelliniPFGHPPV23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cans/BelliniPFGHPPV23,\n author = {Emanuele Bellini and\n Alessandro De Piccoli and\n Mattia Formenti and\n David G{\\'{e}}rault and\n Paul Huynh and\n Simone Pelizzola and\n Sergio Polese and\n Andrea Visconti},\n editor = {Jing Deng and\n Vladimir Kolesnikov and\n Alexander A. Schwarzmann},\n title = {Differential Cryptanalysis with SAT, SMT, MILP, and {CP:} {A} Detailed\n Comparison for Bit-Oriented Primitives},\n booktitle = {Cryptology and Network Security - 22nd International Conference, {CANS}\n 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14342},\n pages = {268--292},\n publisher = {Springer},\n year = {2023},\n url = {https://doi.org/10.1007/978-981-99-7563-1\\_13},\n doi = {10.1007/978-981-99-7563-1\\_13},\n timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/cans/BelliniPFGHPPV23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n\n","author_short":["Bellini, E.","Piccoli, A. D.","Formenti, M.","G'erault, D.","Huynh, P.","Pelizzola, S.","Polese, S.","Visconti, A."],"editor_short":["Deng, J.","Kolesnikov, V.","Schwarzmann, A. A."],"key":"DBLP:conf/cans/BelliniPFGHPPV23","id":"DBLP:conf/cans/BelliniPFGHPPV23","bibbaseid":"bellini-piccoli-formenti-gaposerault-huynh-pelizzola-polese-visconti-differentialcryptanalysiswithsatsmtmilpandcpadetailedcomparisonforbitorientedprimitives-2023","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-981-99-7563-1\\_13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","dataSources":["PCdRvyaDZRZMeqKhf"],"keywords":[],"search_terms":["differential","cryptanalysis","sat","smt","milp","detailed","comparison","bit","oriented","primitives","bellini","piccoli","formenti","g'erault","huynh","pelizzola","polese","visconti"],"title":"Differential Cryptanalysis with SAT, SMT, MILP, and CP: A Detailed Comparison for Bit-Oriented Primitives","year":2023}