%0 Conference Paper %1 conf/sacrypt/0002G0HMRT23 %A Bellini, Emanuele %A Gérault, David %A Grados, Juan %A Huang, Yun Ju %A Makarim, Rusydi H. %A Rachidi, Mohamed %A Tiwari, Sharwan K. %B SAC %D 2023 %E Carlet, Claude %E Mandal, Kalikinkar %E Rijmen, Vincent %I Springer %K dblp %P 387-408 %T CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives. %U http://dblp.uni-trier.de/db/conf/sacrypt/sacrypt2023.html#0002G0HMRT23 %V 14201 %@ 978-3-031-53368-6

@inproceedings{conf/sacrypt/0002G0HMRT23, added-at = {2024-04-01T00:00:00.000+0200}, author = {Bellini, Emanuele and Gérault, David and Grados, Juan and Huang, Yun Ju and Makarim, Rusydi H. and Rachidi, Mohamed and Tiwari, Sharwan K.}, biburl = {https://www.bibsonomy.org/bibtex/2cf8183204bb9247c10505c94f76db753/dblp}, booktitle = {SAC}, crossref = {conf/sacrypt/2023}, editor = {Carlet, Claude and Mandal, Kalikinkar and Rijmen, Vincent}, ee = {https://doi.org/10.1007/978-3-031-53368-6_19}, interhash = {4bd1b1ec552a449d09234a6c0ca3b0bf}, intrahash = {cf8183204bb9247c10505c94f76db753}, isbn = {978-3-031-53368-6}, keywords = {dblp}, pages = {387-408}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:37:20.000+0200}, title = {CLAASP: A Cryptographic Library for the Automated Analysis of Symmetric Primitives.}, url = {http://dblp.uni-trier.de/db/conf/sacrypt/sacrypt2023.html#0002G0HMRT23}, volume = 14201, year = 2023 }