Presentation Open Access

Benchmarks in Towards an Efficient CNF Encoding of Block Ciphers

Daniel Waszkiewicz

Benchmarks used and analysed in Towards an Efficient CNF Encoding of Block Ciphers by Daniel Waszkiewicz and Konstanty Junosza-Szaniawski presented at the 13th Pragmatics of SAT international workshop (http://www.pragmaticsofsat.org/2022/)).

Details in README.md

Files (1.0 GB)
Name Size
miniaes.zip
md5:086b0bb07f9d68bd40c45b68b4762748 		1.0 GB Download
30
5
views
downloads
All versions This version
Views 3030
Downloads 55
Data volume 5.1 GB5.1 GB
Unique views 2626
Unique downloads 55
More info on how stats are collected.
Indexed in
Publication date:
August 20, 2022
DOI:
10.5281/zenodo.7013089

Zenodo DOI Badge

DOI 

10.5281/zenodo.7013089

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7013089.svg)](https://doi.org/10.5281/zenodo.7013089)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7013089.svg
   :target: https://doi.org/10.5281/zenodo.7013089

HTML 

<a href="https://doi.org/10.5281/zenodo.7013089"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7013089.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7013089.svg

Target URL 

https://doi.org/10.5281/zenodo.7013089

Keyword(s):
sat benchmarks cryptography
Meeting:
13th Pragmatics of SAT international workshop (PoS), Haifa, Israel, August 1, 2022
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.7013089 Aug 20, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7013088. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export