summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2021-03-03paper: WIPjaseg1-10/+79
2021-03-02Rename paper tex filesjaseg3-0/+1
2021-03-02Add 'fw/' from commit '5b94dee9cfb1eaaf28510b843c60355663b660ea'jaseg63-0/+13004
git-subtree-dir: fw git-subtree-mainline: 6eddc61626d470363ba464c57a5fc5ec7e8ce329 git-subtree-split: 5b94dee9cfb1eaaf28510b843c60355663b660ea
2021-03-02Repo re-orgjaseg20-279/+0
2020-07-29Add paper preprintjaseg1-0/+0
2019-04-22paper: Expand usability section, general fixesjaseg3-56/+197
2019-02-13paper: extend future work and UI foojaseg2-3/+31
2019-02-13paper: Add initial blurb on SSH kex foojaseg2-1/+25
2018-12-18Finished unrolling noise state machinejaseg2-89/+175
2018-12-17Document function specs some morejaseg2-59/+57
2018-12-17Both COBS encode and decode proven for synchronizationjaseg2-9/+21
2018-12-17Prettify formalization of cobs_decode_incrementaljaseg1-20/+24
Among others, add synchronization guarantees
2018-12-17First steps to prove cobs decoderjaseg4-26/+117
2018-12-17Invocation of noise.c from demo.c mostly proving in frama-cjaseg5-31/+53
2018-12-17A bunch of frama-c proofs running through for noise.cjaseg3-7/+109
2018-12-13Add hardware v0.2 test codejaseg1-39/+95
2018-12-13Add beginnings of a frama-c proof of the protocol logicjaseg2-3/+37
The proof works
2018-12-13Update gitignore, add missing imagejaseg2-0/+10
2018-12-13Add lightning talk resourcesjaseg12-0/+0
2018-12-13Add mouse pairing mockupjaseg5-0/+52
2018-12-13Expand text, add mouse mockupjaseg3-104/+208
2018-12-12More paper writingjaseg3-189/+343
2018-12-12Make noise xx flowchart prettyjaseg2-44/+74
2018-12-11Make a really fancy diagramjaseg7-24/+209
2018-12-01Replace word lists by PGP word listsjaseg8-599/+852
from https://en.wikipedia.org/wiki/PGP_word_list
2018-12-01lightning talk: slight slide reorderingjaseg2-0/+0
2018-11-30Add comparison table, include system diagramsjaseg6-253/+32104
2018-11-29Add system diagram for traditional systemjaseg2-771/+7762
2018-11-29Add directions writeupjaseg9-0/+17262
2018-11-29pcb: Fix a bunch of kicady layout errorsjaseg28-10926/+10986
2018-11-29Some small fixes, add silk artworkjaseg33-14137/+165325
2018-11-27pcb: Add BOMjaseg11-10/+3645
2018-11-27pcb: Add project info to silk and do gerber exportjaseg14-621/+78194
2018-11-22PCB silk: hide testpoint referencesjaseg1-77/+77
2018-11-22Further PCB cleanup, initial silk cleanupjaseg4-4188/+4740
2018-11-21Some cleanupsjaseg5-5176/+5594
2018-11-21Initial PCB draftjaseg9-1663/+32398
2018-11-19Add old architecture documentsjaseg6-0/+284
2018-11-17Initial schematic commitjaseg27-2602/+5500
2018-11-16Key scrubber works but is untested on race conditions due to unexpected resetjaseg3-8/+75
2018-11-15Clear ciphers on handshake resetjaseg1-1/+7
2018-11-14known device/sram data persistence workingjaseg5-14/+53
2018-11-14Pairing and fingerprint checking works nicely nowjaseg6-20/+240
2018-11-14Basic status icon workingjaseg2-37/+52
2018-11-14GUI pairing working as it shouldjaseg5-31/+62
2018-11-13Add tracingjaseg4-6/+38
2018-11-13Pairing and passthrough mostly working, except it's too slowjaseg4-56/+78
2018-11-13Textview tomfooleryjaseg2-9/+80
2018-11-13Host handshake mostly workingjaseg8-26/+94
2018-11-12New host-side arch workingjaseg8-888/+487