Skip to content
Change the repository type filter

All

    Repositories list

    • Home page of the aSSIsT project
      SCSS
      3000Updated Dec 12, 2024Dec 12, 2024
    • Protocol state machine learner and fuzzer for DTLS servers and clients
      C
      MIT License
      93777Updated Dec 6, 2024Dec 6, 2024
    • An automated framework for detecting state machine bugs in network protocol implementations.
      Java
      MIT License
      0401Updated Dec 6, 2024Dec 6, 2024
    • Mapper component for SSH.
      Python
      GNU Lesser General Public License v2.1
      2k000Updated Nov 2, 2024Nov 2, 2024
    • State fuzzer for SSH
      C
      MIT License
      0000Updated Nov 2, 2024Nov 2, 2024
    • Artifact for the ASE 2022 paper: So Many Fuzzers, So Little Time.
      Shell
      BSD 3-Clause "New" or "Revised" License
      1700Updated Feb 2, 2023Feb 2, 2023
    • Client/server examples for Scandium.
      Java
      Eclipse Public License 2.0
      1000Updated Feb 1, 2023Feb 1, 2023
    • Java DTLS client/server pogram used for testing JSSE's DTLS implementation.
      Java
      1000Updated Jun 18, 2022Jun 18, 2022
    • Client/server (and others) programs used for state fuzzing.
      Go
      1000Updated Apr 29, 2021Apr 29, 2021
    • A version of tinyDTLS that is refactored to be more easy to use "standalone" (e.g. without bindings to a specific IP-stack).
      C
      Other
      26100Updated Nov 3, 2020Nov 3, 2020
    • A repository containing examples on using the snapshotting framework CRIU
      C
      MIT License
      0200Updated Jun 17, 2020Jun 17, 2020
    • aflnet

      Public
      AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
      C
      Apache License 2.0
      193000Updated Apr 3, 2020Apr 3, 2020
    • Exercise for DOCS retreat.
      Java
      0000Updated Apr 2, 2019Apr 2, 2019
    • A Python 3 framework for running experiments
      Python
      MIT License
      0000Updated Mar 8, 2019Mar 8, 2019