Martin Gunnarsson's repositories
contiki-ng
Contiki-NG: The Next Generation Contiki
contiki-oscoap
A test implementation of OSCOAP based of er-COAP and using the Contiki-OS enviornment
COSE-C
Implementation of COSE in C using cn-cbor and openssl
Formal-Verification-of-the-WirelessHART-Protocol
This repository contains the Tamarin Prover files for the paper "Formal verification of the WirelessHART Protocol - Verifying Old and Finding New Attacks"
msp430-gcc-4.7.3
Bin file for msp430 gcc 4.7.3
OSCORE-interop
Implementation of OSCORE in Java. Code for interop testing.
SHA3IUF
C implementation of the SHA-3 and Keccak with Init/Update/Finalize hashing API (NIST FIPS 202/Etherium)
sigrok-pico
Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok
tinydtls
A version of tinyDTLS that is refactored to be more easy to use "standalone" (e.g. without bindings to a specific IP-stack). Forked from Contiki-NG and modified to work with OSCORE out of the box.