jaseg
|
4fcc3337e2
|
Make mouse demo work
|
2021-03-23 20:19:24 +01:00 |
|
jaseg
|
32da9c4e8c
|
Fix up firmware and demos
|
2021-03-23 19:04:11 +01:00 |
|
jaseg
|
88379634a8
|
paper: WIP
|
2021-03-03 18:13:58 +01:00 |
|
jaseg
|
386d16314f
|
Rename paper tex files
|
2021-03-02 19:29:55 +01:00 |
|
jaseg
|
b328ef6059
|
Add 'fw/' from commit '5b94dee9cf'
git-subtree-dir: fw
git-subtree-mainline: 6eddc61626
git-subtree-split: 5b94dee9cf
|
2021-03-02 19:27:52 +01:00 |
|
jaseg
|
6eddc61626
|
Repo re-org
|
2021-03-02 19:26:37 +01:00 |
|
jaseg
|
02bb840228
|
Add paper preprint
|
2020-07-29 17:17:38 +02:00 |
|
jaseg
|
42cfa3c3d8
|
paper: Expand usability section, general fixes
|
2019-04-22 19:13:05 +09:00 |
|
jaseg
|
e706f23da4
|
paper: extend future work and UI foo
|
2019-02-13 17:18:34 +09:00 |
|
jaseg
|
fecfdd162b
|
paper: Add initial blurb on SSH kex foo
|
2019-02-13 16:51:49 +09:00 |
|
jaseg
|
5b94dee9cf
|
Finished unrolling noise state machine
|
2018-12-18 14:10:05 +09:00 |
|
jaseg
|
0f26179409
|
Document function specs some more
|
2018-12-17 22:51:47 +09:00 |
|
jaseg
|
59b01a7442
|
Both COBS encode and decode proven for synchronization
|
2018-12-17 19:59:49 +09:00 |
|
jaseg
|
b457eb1a91
|
Prettify formalization of cobs_decode_incremental
Among others, add synchronization guarantees
|
2018-12-17 19:36:01 +09:00 |
|
jaseg
|
447d084d79
|
First steps to prove cobs decoder
|
2018-12-17 13:38:39 +09:00 |
|
jaseg
|
40e9fb8153
|
Invocation of noise.c from demo.c mostly proving in frama-c
|
2018-12-17 12:26:51 +09:00 |
|
jaseg
|
eb3b3b884c
|
A bunch of frama-c proofs running through for noise.c
|
2018-12-17 11:38:20 +09:00 |
|
jaseg
|
1e9de2bcb9
|
Add hardware v0.2 test code
|
2018-12-13 17:44:12 +09:00 |
|
jaseg
|
21240ce378
|
Add beginnings of a frama-c proof of the protocol logic
The proof works
|
2018-12-13 17:43:41 +09:00 |
|
jaseg
|
48b3281417
|
Update gitignore, add missing image
|
2018-12-13 12:07:26 +09:00 |
|
jaseg
|
ec45a96007
|
Add lightning talk resources
|
2018-12-13 12:05:29 +09:00 |
|
jaseg
|
e53ed321d9
|
Add mouse pairing mockup
|
2018-12-13 12:03:46 +09:00 |
|
jaseg
|
47ca356e92
|
Expand text, add mouse mockup
|
2018-12-13 12:02:11 +09:00 |
|
jaseg
|
21d13b8083
|
More paper writing
|
2018-12-12 23:04:06 +09:00 |
|
jaseg
|
00c6be831e
|
Make noise xx flowchart pretty
|
2018-12-12 14:19:22 +09:00 |
|
jaseg
|
80201a7666
|
Make a really fancy diagram
|
2018-12-11 23:34:11 +09:00 |
|
jaseg
|
a818c94fc4
|
Replace word lists by PGP word lists
from https://en.wikipedia.org/wiki/PGP_word_list
|
2018-12-01 14:02:37 +09:00 |
|
jaseg
|
1bf46f3514
|
lightning talk: slight slide reordering
|
2018-12-01 09:24:59 +09:00 |
|
jaseg
|
f610e8a995
|
Add comparison table, include system diagrams
|
2018-11-30 18:33:38 +09:00 |
|
jaseg
|
be2e8e1198
|
Add system diagram for traditional system
|
2018-11-29 18:46:35 +09:00 |
|
jaseg
|
1fcce585fb
|
Add directions writeup
|
2018-11-29 18:35:27 +09:00 |
|
jaseg
|
acc0cf2d9e
|
pcb: Fix a bunch of kicady layout errors
|
2018-11-29 17:27:14 +09:00 |
|
jaseg
|
8e1bf42f39
|
Some small fixes, add silk artwork
|
2018-11-29 10:18:56 +09:00 |
|
jaseg
|
9e50656e35
|
pcb: Add BOM
|
2018-11-27 17:14:46 +09:00 |
|
jaseg
|
ad86b13649
|
pcb: Add project info to silk and do gerber export
|
2018-11-27 11:37:35 +09:00 |
|
jaseg
|
2de3660f50
|
PCB silk: hide testpoint references
|
2018-11-22 10:21:26 +09:00 |
|
jaseg
|
47f48bea90
|
Further PCB cleanup, initial silk cleanup
|
2018-11-22 10:17:35 +09:00 |
|
jaseg
|
07ae18740e
|
Some cleanups
|
2018-11-21 23:05:42 +09:00 |
|
jaseg
|
bd93c5e229
|
Initial PCB draft
|
2018-11-21 22:18:37 +09:00 |
|
jaseg
|
f07540c367
|
Add old architecture documents
|
2018-11-19 21:22:44 +09:00 |
|
jaseg
|
194bd7fdb9
|
Initial schematic commit
|
2018-11-17 11:35:25 +09:00 |
|
jaseg
|
e613f1b9a2
|
Key scrubber works but is untested on race conditions due to unexpected reset
|
2018-11-16 16:16:30 +09:00 |
|
jaseg
|
080e5e4131
|
Clear ciphers on handshake reset
|
2018-11-15 11:46:22 +09:00 |
|
jaseg
|
eb481f1cda
|
known device/sram data persistence working
|
2018-11-14 22:47:04 +09:00 |
|
jaseg
|
66f9e82c5c
|
Pairing and fingerprint checking works nicely now
|
2018-11-14 22:00:06 +09:00 |
|
jaseg
|
b84de745fa
|
Basic status icon working
|
2018-11-14 13:51:30 +09:00 |
|
jaseg
|
9249e792a1
|
GUI pairing working as it should
|
2018-11-14 09:39:43 +09:00 |
|
jaseg
|
370301e06d
|
Add tracing
|
2018-11-13 22:43:00 +09:00 |
|
jaseg
|
e16515bb64
|
Pairing and passthrough mostly working, except it's too slow
|
2018-11-13 21:45:24 +09:00 |
|
jaseg
|
6af635bd41
|
Textview tomfoolery
|
2018-11-13 20:40:01 +09:00 |
|