jaseg/secure-hid
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
114 commits 1 branch 0 tags 17 MiB
Commit graph

114 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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
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
jaseg
587ecdd72d Host handshake mostly working 2018-11-13 15:51:35 +09:00
jaseg
af15c38a05 New host-side arch working 2018-11-12 23:18:45 +09:00
jaseg
d2c9b00b36 Pairing confirmation: ignore special chars and "and" 2018-11-12 13:19:26 +09:00
jaseg
70d8dcb6f6 Confirmed pairing works 2018-11-12 12:48:47 +09:00
jaseg
2f4f3e13aa Handshake working with new abstractions 2018-11-12 11:59:11 +09:00
jaseg
42d4bebde7 Basic input demo working on qubes 
This commit was typed with it ^_^
 2018-11-08 21:53:25 +09:00
jaseg
9252eac840 Add proof-of-concept packet loss recovery through nonce search 2018-11-08 20:27:25 +09:00
jaseg
21be46a0b5 HID report transmission partially works now 
partially i.e. if you attach the keyboard before the noise handshake. I
suspect some memory corruption somewhere.
 2018-11-08 19:53:11 +09:00
jaseg
e4e2318804 Break out noise.c and packet_interface.c 2018-11-08 19:01:10 +09:00
jaseg
333d94bf9f Noise handshake working 2018-11-08 16:35:31 +09:00
jaseg
050d49a56b Noise integration compiles 2018-11-08 15:41:46 +09:00
jaseg
8ee5f4ce6a Hacked together a packetizing mode for hex serial utility 2018-11-06 21:29:40 +09:00
jaseg
51e08c3c89 Add nice hexdumpy serial utility 2018-11-06 21:17:29 +09:00
jaseg
985710d517 COBS/binary suport added, abstraction improved 2018-11-06 17:18:34 +09:00
jaseg
09893c47d1 Proper print abstraction and ring buffer works 2018-11-06 14:21:10 +09:00
jaseg
5009a15280 DMA-supported LOG_PRINTF works 2018-11-06 09:15:37 +09:00
jaseg
5b4c295d00 Some UART logging work 2018-11-05 10:02:51 +09:00
jaseg
7c8490211b Make demo work with STM32F4 board from aliexpress for SecureHID project 2018-11-01 16:39:56 +09:00
Amir Hammad
7e5d99e18f Merge pull request #6 from amirhammad/usbh_config 
Fix missing usbh_config.h in the cmake project
 2016-09-11 20:18:27 +02:00
Amir Hammad
d1689b4701 Fix missing usbh_config.h in the cmake project 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 20:14:51 +02:00
Amir Hammad
1a9a954fe6 Merge pull request #5 from amirhammad/fix-g++-compiler 
Fix CXX compiler
 2016-09-11 20:13:23 +02:00
Amir Hammad
aa93d64f9f Fix CXX compiler 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 20:09:01 +02:00
Amir Hammad
5e714edfa6 Merge pull request #4 from amirhammad/core-refactor 
Major rework
 2016-09-11 13:40:59 +02:00
Amir Hammad
b7167bf2af lld: add mask with epdir 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
4415d960c3 use default case instead of handling other packet statuses explicitely 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
bacf8ecdbb xbox: remove warning about unused variable 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
2c81d1a3e6 drivers: remove redundant forward declaration of usbh_dev_driver_t 
It is already declared in usbh_core.h

Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
b055665fb0 lld: remove not used error_count field in channel struct 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
d7f23c7a8f lld: simplify stm32f4_usbh_port_channel_setup 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
8946cb522b lld: rework low level driver initialization 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
decb2d817d use forward declaration for usbh_dev_driver_t 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:48 +02:00
Amir Hammad
e635674ab0 Doc: set HAVE_DOT property 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
1d1b697bc6 use NULL instead of 0 for assigning null pointer 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
bc8dd60b2e midi: rename prefix of static functions 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
63446f99fc lld: don't enable channel on write nack, return EAGAIN instead 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
b895498df9 hub: use common code to remove device 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
c9869466dd remove detection of hang 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
fe54644237 HUB: make use of control wrappers + use enums 
Until now, hardcoded numbers were used as states.

Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00
Amir Hammad
66b801b01e hid: use control wrapper to simplify hid report writes 
Signed-off-by: Amir Hammad <amir.hammad@hotmail.com>
 2016-09-11 13:31:47 +02:00