summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2018-12-17Both COBS encode and decode proven for synchronizationjaseg2-9/+21
2018-12-17Prettify formalization of cobs_decode_incrementaljaseg1-20/+24
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
2018-12-01Replace word lists by PGP word listsjaseg8-599/+852
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
2018-11-12Pairing confirmation: ignore special chars and "and"jaseg4-63/+111
2018-11-12Confirmed pairing worksjaseg9-68/+616
2018-11-12Handshake working with new abstractionsjaseg11-78/+1119
2018-11-08Basic input demo working on qubesjaseg2-25/+239
2018-11-08Add proof-of-concept packet loss recovery through nonce searchjaseg1-6/+28
2018-11-08HID report transmission partially works nowjaseg8-45/+92
2018-11-08Break out noise.c and packet_interface.cjaseg7-211/+246
2018-11-08Noise handshake workingjaseg4-9/+98
2018-11-08Noise integration compilesjaseg10-5/+745
2018-11-06Hacked together a packetizing mode for hex serial utilityjaseg1-8/+16
2018-11-06Add nice hexdumpy serial utilityjaseg1-0/+46
2018-11-06COBS/binary suport added, abstraction improvedjaseg4-54/+112
2018-11-06Proper print abstraction and ring buffer worksjaseg3-82/+133
2018-11-06DMA-supported LOG_PRINTF worksjaseg5-104/+80
2018-11-05Some UART logging workjaseg4-200/+79
2018-11-01Make demo work with STM32F4 board from aliexpress for SecureHID projectjaseg3-63/+32
2016-09-11Merge pull request #6 from amirhammad/usbh_configAmir Hammad1-0/+1
2016-09-11Fix missing usbh_config.h in the cmake projectAmir Hammad1-0/+1
2016-09-11Merge pull request #5 from amirhammad/fix-g++-compilerAmir Hammad1-1/+1
2016-09-11Fix CXX compilerAmir Hammad1-1/+1
2016-09-11Merge pull request #4 from amirhammad/core-refactorAmir Hammad33-1523/+2176
2016-09-11lld: add mask with epdirAmir Hammad1-1/+1
2016-09-11use default case instead of handling other packet statuses explicitelyAmir Hammad5-47/+20
2016-09-11xbox: remove warning about unused variableAmir Hammad1-1/+0
2016-09-11drivers: remove redundant forward declaration of usbh_dev_driver_tAmir Hammad4-7/+0
2016-09-11lld: remove not used error_count field in channel structAmir Hammad1-2/+0
2016-09-11lld: simplify stm32f4_usbh_port_channel_setupAmir Hammad1-36/+23
2016-09-11lld: rework low level driver initializationAmir Hammad5-19/+20
2016-09-11use forward declaration for usbh_dev_driver_tAmir Hammad9-90/+93
2016-09-11Doc: set HAVE_DOT propertyAmir Hammad1-1/+1
2016-09-11use NULL instead of 0 for assigning null pointerAmir Hammad5-15/+18