| Age | Commit message (Collapse) | 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 |