Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (Q831949)
From MaRDI portal
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use this page instead for the normal view: Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems
scientific article; zbMATH DE number 7497926
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems |
scientific article; zbMATH DE number 7497926 |
Statements
Algorithmic problems in the symbolic approach to the verification of automatically synthesized cryptosystems (English)
0 references
24 March 2022
0 references
cryptographic modes of operation
0 references
symbolic reasoning
0 references
equational theories
0 references
unification
0 references
