knox
A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities
Build status: ok failing tests valid license
| Authors | |
|---|
| Documentation | |
|---|
| Tags | |
|---|
| License | |
|---|
| Last updated | Saturday, November 4th, 2023 10:50:06am (UTC) |
|---|
| Ring | 1 |
|---|
| Conflicts | None |
|---|
| Dependencies | |
|---|
| Most recent build results | |
|---|
| Version Exceptions | |
|---|
| Last checked | Saturday, April 20th, 2024 12:35:13am (UTC) |
|---|
| Last edited | Wednesday, October 19th, 2022 1:56:13pm (UTC) |
|---|
| Date added | Wednesday, October 19th, 2022 1:47:13pm (UTC) |
|---|
| Modules | - knox/semantics/shared.rkt
- yosys/reader.rkt
- knox/driver/interpreter.rkt
- knox/emulator/util.rkt
- yosys/debug/expand.rkt
- knox/semantics/environment.rkt
- yosys/lang/reader.rkt
- knox/security/lang/reader.rkt
- yosys/verilog.rkt
- knox/driver/lib.rkt
- rosutil/concretize.rkt
- knox/correctness/correctness.rkt
- yosys/libopt.rkt
- test/yosys/lib.rkt
- rosutil/substitution.rkt
- rosutil/addressable-struct.rkt
- yosys/debug/read/lang/reader.rkt
- test/yosys/verilog/ram.rkt
- knox/spec.rkt
- knox/emulator/lang/reader.rkt
- knox/semantics/syntax.rkt
- knox/spec/spec-lang.rkt
- knox/circuit/lang/reader.rkt
- knox/spec/lang/reader.rkt
- yosys/lang/configure-runtime.rkt
- knox/correctness/lang/reader.rkt
- rosutil/overapproximate.rkt
- knox/emulator.rkt
- knox/driver/driver-lang.rkt
- knox/semantics/lifted.rkt
- knox/driver.rkt
- yosys/generic.rkt
- knox/result.rkt
- test/yosys/zeroinit.rkt
- rosutil/lens.rkt
- rosutil/util.rkt
- test/yosys/verilog/picorv32.rkt
- yosys/lib.rkt
- knox/correctness/correctness-lang.rkt
- knox/security/checker.rkt
- test/yosys/verilog/counter.rkt
- test/yosys/metadata.rkt
- knox/semantics/value.rkt
- rosutil/main.rkt
- test/rosutil/addressable-struct.rkt
- knox/emulator/interpreter.rkt
- test/rosutil/lens.rkt
- knox/correctness/checker.rkt
- test/yosys/verilog/multi_port_memory.rkt
- knox/correctness/hint.rkt
- test/knox/circuit.rkt
- yosys/parameters.rkt
- test/yosys/verilog/use_persistent_reset.rkt
- rosutil/subsumption.rkt
- test/rosutil/concretize.rkt
- test/yosys/verilog/lockbox.rkt
- yosys/main.rkt
- knox/security/security-lang.rkt
- yosys/debug/expand/lang/reader.rkt
- test/yosys/constructor.rkt
- yosys/memoize.rkt
- test/knox/circuit/use_persistent_reset.rkt
- test/rosutil/serialization.rkt
- test/rosutil/convenience.rkt
- knox/driver/lang/reader.rkt
- yosys/debug/read.rkt
- rosutil/dependence.rkt
- rosutil/serialization.rkt
- knox/emulator/emulator-lang.rkt
- rosutil/convenience.rkt
- knox/circuit/circuit-lang.rkt
- test/knox/driver/interpreter.rkt
- yosys/meta.rkt
- test/yosys/verilog/print-test.rkt
- test/yosys/basic.rkt
- yosys/yosys.rkt
- yosys/core.rkt
- knox/circuit.rkt
- test/yosys/uf.rkt
- test/yosys/memoize.rkt
|
|---|
