Software

Software Testing Tools

• EDHOC-Fuzzer: Protocol State Machine Learner and Fuzzer for EDHOC Implementations

• DTLS-Fuzzer: Protocol State Machine Learner and Fuzzer for DTLS Implementations

• Nidhugg: Stateless Model Checking tool finding bugs caused by concurrency and relaxed memory consistency in C/pthread programs

• PropEr: Property-Based Testing tool including support for Targeted Property-Based Testing

Software Artifacts

• Artifact for the ASE 2022 paper So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack

• Replication material for the ICST 2022 paper Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification

• Artifact for the USENIX 2020 paper Analysis of DTLS Implementations Using Protocol State Fuzzing