A Mechanised Cryptographic Proof of the WireGuard VPN Protocol
2019-05-13
A nice robot interracting with XMPP protocol
2019-05-12
WhatsApp's handshake implementation using Noise Protocol
2019-05-10
Kate (KDE's Code Editor) Language Server Protocol Client
2019-05-10
Granular Network Segmentation and Host Identity Protocol
2019-05-10
U-SAFE (self-propelled, remote controlled life preserver)
2019-05-07
Mvfst: An implementation of the QUIC transport protocol from FB
2019-05-07
A new approach to targeting tumors and tracking their spread
2019-05-06
Early-stage detection of Alzheimer’s in the blood
2019-05-06
The Branching Career Path
2019-05-06