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

Age	Commit message (Expand)	Author	Files	Lines
2021-03-03	paper: WIP	jaseg	1	-10/+79
2021-03-02	Rename paper tex files	jaseg	3	-0/+1
2021-03-02	Add 'fw/' from commit '5b94dee9cfb1eaaf28510b843c60355663b660ea'	jaseg	63	-0/+13004
2021-03-02	Repo re-org	jaseg	20	-279/+0
2020-07-29	Add paper preprint	jaseg	1	-0/+0
2019-04-22	paper: Expand usability section, general fixes	jaseg	3	-56/+197
2019-02-13	paper: extend future work and UI foo	jaseg	2	-3/+31
2019-02-13	paper: Add initial blurb on SSH kex foo	jaseg	2	-1/+25
2018-12-18	Finished unrolling noise state machine	jaseg	2	-89/+175
2018-12-17	Document function specs some more	jaseg	2	-59/+57
2018-12-17	Both COBS encode and decode proven for synchronization	jaseg	2	-9/+21
2018-12-17	Prettify formalization of cobs_decode_incremental	jaseg	1	-20/+24
2018-12-17	First steps to prove cobs decoder	jaseg	4	-26/+117
2018-12-17	Invocation of noise.c from demo.c mostly proving in frama-c	jaseg	5	-31/+53
2018-12-17	A bunch of frama-c proofs running through for noise.c	jaseg	3	-7/+109
2018-12-13	Add hardware v0.2 test code	jaseg	1	-39/+95
2018-12-13	Add beginnings of a frama-c proof of the protocol logic	jaseg	2	-3/+37
2018-12-13	Update gitignore, add missing image	jaseg	2	-0/+10
2018-12-13	Add lightning talk resources	jaseg	12	-0/+0
2018-12-13	Add mouse pairing mockup	jaseg	5	-0/+52
2018-12-13	Expand text, add mouse mockup	jaseg	3	-104/+208
2018-12-12	More paper writing	jaseg	3	-189/+343
2018-12-12	Make noise xx flowchart pretty	jaseg	2	-44/+74
2018-12-11	Make a really fancy diagram	jaseg	7	-24/+209
2018-12-01	Replace word lists by PGP word lists	jaseg	8	-599/+852
2018-12-01	lightning talk: slight slide reordering	jaseg	2	-0/+0
2018-11-30	Add comparison table, include system diagrams	jaseg	6	-253/+32104
2018-11-29	Add system diagram for traditional system	jaseg	2	-771/+7762
2018-11-29	Add directions writeup	jaseg	9	-0/+17262
2018-11-29	pcb: Fix a bunch of kicady layout errors	jaseg	28	-10926/+10986
2018-11-29	Some small fixes, add silk artwork	jaseg	33	-14137/+165325
2018-11-27	pcb: Add BOM	jaseg	11	-10/+3645
2018-11-27	pcb: Add project info to silk and do gerber export	jaseg	14	-621/+78194
2018-11-22	PCB silk: hide testpoint references	jaseg	1	-77/+77
2018-11-22	Further PCB cleanup, initial silk cleanup	jaseg	4	-4188/+4740
2018-11-21	Some cleanups	jaseg	5	-5176/+5594
2018-11-21	Initial PCB draft	jaseg	9	-1663/+32398
2018-11-19	Add old architecture documents	jaseg	6	-0/+284
2018-11-17	Initial schematic commit	jaseg	27	-2602/+5500
2018-11-16	Key scrubber works but is untested on race conditions due to unexpected reset	jaseg	3	-8/+75
2018-11-15	Clear ciphers on handshake reset	jaseg	1	-1/+7
2018-11-14	known device/sram data persistence working	jaseg	5	-14/+53
2018-11-14	Pairing and fingerprint checking works nicely now	jaseg	6	-20/+240
2018-11-14	Basic status icon working	jaseg	2	-37/+52
2018-11-14	GUI pairing working as it should	jaseg	5	-31/+62
2018-11-13	Add tracing	jaseg	4	-6/+38
2018-11-13	Pairing and passthrough mostly working, except it's too slow	jaseg	4	-56/+78
2018-11-13	Textview tomfoolery	jaseg	2	-9/+80
2018-11-13	Host handshake mostly working	jaseg	8	-26/+94
2018-11-12	New host-side arch working	jaseg	8	-888/+487