Proof producing synthesis of arithmetic and cryptographic hardware (Q2642982)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof producing synthesis of arithmetic and cryptographic hardware |
scientific article |
Statements
Proof producing synthesis of arithmetic and cryptographic hardware (English)
0 references
6 September 2007
0 references
Theorem proving
0 references
Compiling
0 references
Hardware synthesis
0 references
Cryptography
0 references
High assurance
0 references
