Popular repositories Loading

1. contiki-ng contiki-ng Public

   Forked from contiki-ng/contiki-ng

   Contiki-NG: The Next Generation Contiki

   C 7 6

2. contiki-oscoap contiki-oscoap Public

   Forked from contiki-os/contiki

   A test implementation of OSCOAP based of er-COAP and using the Contiki-OS enviornment

   C 1 1

3. Formal-Verification-of-the-WirelessHART-Protocol Formal-Verification-of-the-WirelessHART-Protocol Public

   This repository contains the Tamarin Prover files for the paper "Formal verification of the WirelessHART Protocol - Verifying Old and Finding New Attacks"

   1

4. Lightweight-TEE-Controller Lightweight-TEE-Controller Public

   C 1

5. COSE-C COSE-C Public

   Forked from cose-wg/COSE-C

   Implementation of COSE in C using cn-cbor and openssl

   C

6. OSCORE-interop OSCORE-interop Public

   Forked from rikard-sics/OSCORE-interop

   Implementation of OSCORE in Java. Code for interop testing.

   Java