secure-hid.git - SecureHID: Bus encryption for USB HID devices to guard against malicius USB devices and driver VMs in QubesOS

Age	Commit message (Collapse)	Author	Files	Lines
2018-12-17	Document function specs some more	jaseg	1	-58/+57

2018-12-17	First steps to prove cobs decoder	jaseg	1	-2/+0

2018-12-17	Invocation of noise.c from demo.c mostly proving in frama-c	jaseg	1	-9/+10

2018-12-17	A bunch of frama-c proofs running through for noise.c	jaseg	1	-6/+98

2018-12-13	Add beginnings of a frama-c proof of the protocol logic	jaseg	1	-2/+36
	The proof works
2018-11-16	Key scrubber works but is untested on race conditions due to unexpected reset	jaseg	1	-0/+2

2018-11-15	Clear ciphers on handshake reset	jaseg	1	-1/+7

2018-11-14	known device/sram data persistence working	jaseg	1	-5/+19

2018-11-14	GUI pairing working as it should	jaseg	1	-0/+9

2018-11-13	Host handshake mostly working	jaseg	1	-5/+7

2018-11-12	Confirmed pairing works	jaseg	1	-1/+0

2018-11-12	Handshake working with new abstractions	jaseg	1	-40/+98

2018-11-08	HID report transmission partially works now	jaseg	1	-28/+43
	partially i.e. if you attach the keyboard before the noise handshake. I suspect some memory corruption somewhere.
2018-11-08	Break out noise.c and packet_interface.c	jaseg	1	-0/+130