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 |