Microelectronics that are continuously verifiable by their users…as inspired by cryptography
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Research Organization:
- Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE National Nuclear Security Administration (NNSA)
- DOE Contract Number:
- NA0003525
- OSTI ID:
- 2463078
- Report Number(s):
- SAND2023-08203C
- Country of Publication:
- United States
- Language:
- English
Similar Records
Verifying Qthreads: Is Model Checking viable for User-Level Tasking runtimes?.
Elliptical Curve Cryptography Testing.
Post-Quantum Cryptography Implementation.
Conference
·
Sat Oct 01 00:00:00 EDT 2022
·
OSTI ID:2005436
Elliptical Curve Cryptography Testing.
Conference
·
Fri Jul 01 00:00:00 EDT 2022
·
OSTI ID:2004182
Post-Quantum Cryptography Implementation.
Conference
·
Fri Jul 01 00:00:00 EDT 2022
·
OSTI ID:2004203