Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2507.21731 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866916868717019136 |
|---|---|
| author | Marcus, Michiel Westers, Frank Nijsten, Anne |
| author_facet | Marcus, Michiel Westers, Frank Nijsten, Anne |
| contents | In this work, we propose a class of equational theories for bounded binary circuits that have the finite variant property. These theories could serve as a building block to specify cryptographic primitive implementations and automatically discover attacks as binary circuits in the symbolic model. We provide proofs of equivalence between this class of equational theories and Boolean logic up to circuit size 3 and we provide the variant complexities and performance benchmarks using Maude-NPA. This is the first result in this direction and follow-up research is needed to improve the scalability of the approach. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_21731 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits Marcus, Michiel Westers, Frank Nijsten, Anne Cryptography and Security In this work, we propose a class of equational theories for bounded binary circuits that have the finite variant property. These theories could serve as a building block to specify cryptographic primitive implementations and automatically discover attacks as binary circuits in the symbolic model. We provide proofs of equivalence between this class of equational theories and Boolean logic up to circuit size 3 and we provide the variant complexities and performance benchmarks using Maude-NPA. This is the first result in this direction and follow-up research is needed to improve the scalability of the approach. |
| title | Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2507.21731 |