Pinned Repositories
californium
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
DIPSAUCE-contiki-ng
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"
iot-ownership-transfer-protocol-tamarin-model
julia
lic-avhandling
Lightweight-TEE-Controller
Gunzter's Repositories
Gunzter/contiki-ng
Contiki-NG: The Next Generation Contiki
Gunzter/contiki-oscoap
A test implementation of OSCOAP based of er-COAP and using the Contiki-OS enviornment
Gunzter/Lightweight-TEE-Controller
Gunzter/californium
Gunzter/COSE-C
Implementation of COSE in C using cn-cbor and openssl
Gunzter/DIPSAUCE-contiki-ng
Gunzter/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"
Gunzter/iot-ownership-transfer-protocol-tamarin-model
Gunzter/julia
Gunzter/lic-avhandling
Gunzter/msp430-gcc-4.7.3
Bin file for msp430 gcc 4.7.3
Gunzter/ncs-dev
Gunzter/OSCORE-interop
Implementation of OSCORE in Java. Code for interop testing.
Gunzter/practical_psa_results
Gunzter/SHA3IUF
C implementation of the SHA-3 and Keccak with Init/Update/Finalize hashing API (NIST FIPS 202/Etherium)
Gunzter/sigrok-pico
Use a raspberry pi pico (rp2040) as a logic analyzer and oscilloscope with sigrok
Gunzter/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.