Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |