Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
- Los Alamos National Lab. (LANL), Los Alamos, NM (United States)
By using zkSNARKs to prove that values have specific dependent types, it is possible to provably assure compatibility and correctness without revealing sensitive information and extend our trusted computing base well beyond our own system. The approach we developed expands the scope of what non-interactive zero-knowledge proofs can capture to include properties about both the execution and correctness of programs.
- Research Organization:
- Los Alamos National Laboratory (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- 89233218CNA000001
- OSTI ID:
- 1876757
- Report Number(s):
- LA-UR-22-26855
- Country of Publication:
- United States
- Language:
- English
Similar Records
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
Secure computing using cryptographic assurance of execution correctness.
Technical Report
·
Tue Aug 03 00:00:00 EDT 2021
·
OSTI ID:1811878
Secure System Composition and Type Checking using Cryptographic Proofs [Slides]
Technical Report
·
Mon Jun 21 00:00:00 EDT 2021
·
OSTI ID:1808809
Secure computing using cryptographic assurance of execution correctness.
Conference
·
Fri Oct 01 00:00:00 EDT 2004
·
OSTI ID:948332