| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-12-17 | Invocation of noise.c from demo.c mostly proving in frama-c | jaseg | 1 | -0/+1 |
![]() |
index : secure-hid.git | |
| SecureHID: Bus encryption for USB HID devices to guard against malicius USB devices and driver VMs in QubesOS | jaseg |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2018-12-17 | Invocation of noise.c from demo.c mostly proving in frama-c | jaseg | 1 | -0/+1 |