jaseg/secure-hid
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Commit graph

  • adfffcd8fb Add passthrough reports main jaseg 2021-03-24 14:48:01 +01:00
  • dbb264c68d Make keyboard emulation for debug work jaseg 2021-03-24 14:17:28 +01:00
  • 4fcc3337e2 Make mouse demo work jaseg 2021-03-23 20:19:24 +01:00
  • 32da9c4e8c Fix up firmware and demos jaseg 2021-03-23 19:04:11 +01:00
  • 88379634a8 paper: WIP jaseg 2021-03-03 18:13:58 +01:00
  • 386d16314f Rename paper tex files jaseg 2021-03-02 19:29:55 +01:00
  • b328ef6059 Add 'fw/' from commit '5b94dee9cf' jaseg 2021-03-02 19:27:52 +01:00
  • 6eddc61626 Repo re-org jaseg 2021-03-02 19:26:37 +01:00
  • 02bb840228 Add paper preprint jaseg 2020-07-29 17:17:38 +02:00
  • 42cfa3c3d8 paper: Expand usability section, general fixes jaseg 2019-04-22 19:13:05 +09:00
  • e706f23da4 paper: extend future work and UI foo jaseg 2019-02-13 17:18:34 +09:00
  • fecfdd162b paper: Add initial blurb on SSH kex foo jaseg 2019-02-13 16:51:49 +09:00
  • 5b94dee9cf Finished unrolling noise state machine jaseg 2018-12-18 14:10:05 +09:00
  • 0f26179409 Document function specs some more jaseg 2018-12-17 22:51:47 +09:00
  • 59b01a7442 Both COBS encode and decode proven for synchronization jaseg 2018-12-17 19:59:49 +09:00
  • b457eb1a91 Prettify formalization of cobs_decode_incremental jaseg 2018-12-17 19:36:01 +09:00
  • 447d084d79 First steps to prove cobs decoder jaseg 2018-12-17 13:38:39 +09:00
  • 40e9fb8153 Invocation of noise.c from demo.c mostly proving in frama-c jaseg 2018-12-17 12:26:51 +09:00
  • eb3b3b884c A bunch of frama-c proofs running through for noise.c jaseg 2018-12-17 11:38:20 +09:00
  • 1e9de2bcb9 Add hardware v0.2 test code jaseg 2018-12-13 17:44:12 +09:00
  • 21240ce378 Add beginnings of a frama-c proof of the protocol logic jaseg 2018-12-13 17:43:41 +09:00
  • 48b3281417 Update gitignore, add missing image jaseg 2018-12-13 12:07:26 +09:00
  • ec45a96007 Add lightning talk resources jaseg 2018-12-13 12:05:29 +09:00
  • e53ed321d9 Add mouse pairing mockup jaseg 2018-12-13 12:03:46 +09:00
  • 47ca356e92 Expand text, add mouse mockup jaseg 2018-12-13 12:02:11 +09:00
  • 21d13b8083 More paper writing jaseg 2018-12-12 23:04:06 +09:00
  • 00c6be831e Make noise xx flowchart pretty jaseg 2018-12-12 14:19:22 +09:00
  • 80201a7666 Make a really fancy diagram jaseg 2018-12-11 23:34:11 +09:00
  • a818c94fc4 Replace word lists by PGP word lists jaseg 2018-12-01 14:02:37 +09:00
  • 1bf46f3514 lightning talk: slight slide reordering jaseg 2018-12-01 09:24:59 +09:00
  • f610e8a995 Add comparison table, include system diagrams jaseg 2018-11-30 18:33:38 +09:00
  • be2e8e1198 Add system diagram for traditional system jaseg 2018-11-29 18:46:35 +09:00
  • 1fcce585fb Add directions writeup jaseg 2018-11-29 18:35:27 +09:00
  • acc0cf2d9e pcb: Fix a bunch of kicady layout errors jaseg 2018-11-29 17:27:14 +09:00
  • 8e1bf42f39 Some small fixes, add silk artwork jaseg 2018-11-29 10:18:56 +09:00
  • 9e50656e35 pcb: Add BOM jaseg 2018-11-27 17:14:46 +09:00
  • ad86b13649 pcb: Add project info to silk and do gerber export jaseg 2018-11-27 11:37:35 +09:00
  • 2de3660f50 PCB silk: hide testpoint references jaseg 2018-11-22 10:21:26 +09:00
  • 47f48bea90 Further PCB cleanup, initial silk cleanup jaseg 2018-11-22 10:17:35 +09:00
  • 07ae18740e Some cleanups jaseg 2018-11-21 23:05:42 +09:00
  • bd93c5e229 Initial PCB draft jaseg 2018-11-21 22:18:37 +09:00
  • f07540c367 Add old architecture documents jaseg 2018-11-19 21:22:44 +09:00
  • 194bd7fdb9 Initial schematic commit jaseg 2018-11-17 11:35:25 +09:00
  • e613f1b9a2 Key scrubber works but is untested on race conditions due to unexpected reset jaseg 2018-11-16 16:16:30 +09:00
  • 080e5e4131 Clear ciphers on handshake reset jaseg 2018-11-15 11:46:22 +09:00
  • eb481f1cda known device/sram data persistence working jaseg 2018-11-14 22:47:04 +09:00
  • 66f9e82c5c Pairing and fingerprint checking works nicely now jaseg 2018-11-14 22:00:06 +09:00
  • b84de745fa Basic status icon working jaseg 2018-11-14 13:51:30 +09:00
  • 9249e792a1 GUI pairing working as it should jaseg 2018-11-14 09:39:43 +09:00
  • 370301e06d Add tracing jaseg 2018-11-13 22:43:00 +09:00
  • e16515bb64 Pairing and passthrough mostly working, except it's too slow jaseg 2018-11-13 21:45:24 +09:00
  • 6af635bd41 Textview tomfoolery jaseg 2018-11-13 20:40:01 +09:00
  • 587ecdd72d Host handshake mostly working jaseg 2018-11-13 15:51:35 +09:00
  • af15c38a05 New host-side arch working jaseg 2018-11-12 23:18:45 +09:00
  • d2c9b00b36 Pairing confirmation: ignore special chars and "and" jaseg 2018-11-12 13:19:26 +09:00
  • 70d8dcb6f6 Confirmed pairing works jaseg 2018-11-12 12:48:47 +09:00
  • 2f4f3e13aa Handshake working with new abstractions jaseg 2018-11-12 11:59:11 +09:00
  • 42d4bebde7 Basic input demo working on qubes jaseg 2018-11-08 21:53:25 +09:00
  • 9252eac840 Add proof-of-concept packet loss recovery through nonce search jaseg 2018-11-08 20:27:25 +09:00
  • 21be46a0b5 HID report transmission partially works now jaseg 2018-11-08 19:53:11 +09:00
  • e4e2318804 Break out noise.c and packet_interface.c jaseg 2018-11-08 19:01:10 +09:00
  • 333d94bf9f Noise handshake working jaseg 2018-11-08 16:35:31 +09:00
  • 050d49a56b Noise integration compiles jaseg 2018-11-08 15:41:46 +09:00
  • 8ee5f4ce6a Hacked together a packetizing mode for hex serial utility jaseg 2018-11-06 21:29:40 +09:00
  • 51e08c3c89 Add nice hexdumpy serial utility jaseg 2018-11-06 21:17:29 +09:00
  • 985710d517 COBS/binary suport added, abstraction improved jaseg 2018-11-06 17:18:34 +09:00
  • 09893c47d1 Proper print abstraction and ring buffer works jaseg 2018-11-06 14:21:10 +09:00
  • 5009a15280 DMA-supported LOG_PRINTF works jaseg 2018-11-06 09:15:37 +09:00
  • 5b4c295d00 Some UART logging work jaseg 2018-11-05 10:02:51 +09:00
  • 7c8490211b Make demo work with STM32F4 board from aliexpress for SecureHID project jaseg 2018-11-01 16:39:56 +09:00
  • 155a29ce08 Boot, UART working jaseg 2017-07-31 16:39:37 +02:00
  • 6482cf2a69 USB HID host code import jaseg 2017-07-30 16:10:36 +02:00
  • b9535e1b08 Initial commit, blink working jaseg 2017-07-30 15:36:45 +02:00
  • 7e5d99e18f Merge pull request #6 from amirhammad/usbh_config Amir Hammad 2016-09-11 20:18:27 +02:00
  • d1689b4701 Fix missing usbh_config.h in the cmake project Amir Hammad 2016-09-11 20:09:54 +02:00
  • 1a9a954fe6 Merge pull request #5 from amirhammad/fix-g++-compiler Amir Hammad 2016-09-11 20:13:23 +02:00
  • aa93d64f9f Fix CXX compiler Amir Hammad 2016-09-11 20:09:01 +02:00
  • 5e714edfa6 Merge pull request #4 from amirhammad/core-refactor Amir Hammad 2016-09-11 13:40:59 +02:00
  • b7167bf2af lld: add mask with epdir Amir Hammad 2016-09-11 12:12:41 +02:00
  • 4415d960c3 use default case instead of handling other packet statuses explicitely Amir Hammad 2016-09-11 12:03:20 +02:00
  • bacf8ecdbb xbox: remove warning about unused variable Amir Hammad 2016-09-11 09:44:58 +02:00
  • 2c81d1a3e6 drivers: remove redundant forward declaration of usbh_dev_driver_t Amir Hammad 2016-09-11 09:44:07 +02:00
  • b055665fb0 lld: remove not used error_count field in channel struct Amir Hammad 2016-09-11 09:39:08 +02:00
  • d7f23c7a8f lld: simplify stm32f4_usbh_port_channel_setup Amir Hammad 2016-09-11 09:33:34 +02:00
  • 8946cb522b lld: rework low level driver initialization Amir Hammad 2016-09-09 18:33:26 +02:00
  • decb2d817d use forward declaration for usbh_dev_driver_t Amir Hammad 2016-09-09 18:25:28 +02:00
  • e635674ab0 Doc: set HAVE_DOT property Amir Hammad 2016-09-08 08:16:31 +02:00
  • 1d1b697bc6 use NULL instead of 0 for assigning null pointer Amir Hammad 2016-09-08 06:27:35 +02:00
  • bc8dd60b2e midi: rename prefix of static functions Amir Hammad 2016-09-08 06:30:37 +02:00
  • 63446f99fc lld: don't enable channel on write nack, return EAGAIN instead Amir Hammad 2016-09-07 08:56:51 +02:00
  • b895498df9 hub: use common code to remove device Amir Hammad 2016-09-06 08:40:32 +02:00
  • c9869466dd remove detection of hang Amir Hammad 2016-09-06 08:39:53 +02:00
  • fe54644237 HUB: make use of control wrappers + use enums Amir Hammad 2016-09-06 09:53:20 +02:00
  • 66b801b01e hid: use control wrapper to simplify hid report writes Amir Hammad 2016-09-05 21:36:51 +02:00
  • 2c23090d49 core: use new control wrapper to set configuration to device Amir Hammad 2016-09-05 21:24:51 +02:00
  • 7c4ae8d7aa core: use new control wrapper to read device descriptor Amir Hammad 2016-09-05 21:24:15 +02:00
  • d4c74c55c3 core: use new control wrapper to set device's address Amir Hammad 2016-09-05 21:22:39 +02:00
  • c4e6f3b55b core: add helper state machine for control read/write Amir Hammad 2016-09-05 21:21:02 +02:00
  • 6d9ee8e9a6 add DISABLE_LOW_LEVEL ifdef in hub device driver Amir Hammad 2016-09-05 20:16:30 +02:00
  • 58fec7a17c Drop need for the set configuration request in dev drivers Amir Hammad 2016-09-05 19:48:56 +02:00