Skip to content

@tlspuffin tlspuffin

Change the repository type filter

All

    Repositories list

    17 repositories

    • tlspuffin

      Public
      A Dolev-Yao-model-guided fuzzer for TLS
      tlssymbolicfuzzingfuzzertls13tls12
      Rust
      •
      Apache License 2.0
      •11•137•76•16•Updated Dec 21, 2024Dec 21, 2024

    • openssl

      Public
      TLS/SSL and crypto library
      C
      •
      Other
      •10k•0•0•0•Updated Dec 13, 2024Dec 13, 2024

    • tlspuffin.github.io

      Public
      HTML
      •
      MIT License
      •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • puffin-bench

      Public
      A performance testbench for the puffin fuzzer
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 28, 2024Nov 28, 2024

    • boringssl

      Public
      Mirror of BoringSSL with tlspuffin patch
      C
      •
      Other
      •775•0•3•3•Updated Feb 1, 2024Feb 1, 2024

    • openssl-src-rs

      Public archive
      Has been copied directly to the tlspuffin repository
      Rust
      •
      Apache License 2.0
      •115•0•0•0•Updated Jun 8, 2023Jun 8, 2023

    • aflnwe

      Public
      C
      •
      Apache License 2.0
      •14•0•0•0•Updated May 16, 2023May 16, 2023

    • stateafl

      Public
      StateAFL: A Greybox Fuzzer for Stateful Network Servers
      C
      •
      Apache License 2.0
      •36•0•0•0•Updated May 3, 2023May 3, 2023

    • wolfssl-sys

      Public
      A low level Rust binding for WolfSSL
      Rust
      •
      GNU General Public License v2.0
      •6•0•0•0•Updated Oct 28, 2022Oct 28, 2022

    • wolfssl

      Public
      The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3!
      C
      •
      GNU General Public License v2.0
      •833•0•0•0•Updated Oct 12, 2022Oct 12, 2022

    • oss-fuzz

      Public
      OSS-Fuzz - continuous fuzzing for open source software.
      Shell
      •
      Apache License 2.0
      •2.3k•0•0•0•Updated Sep 27, 2022Sep 27, 2022

    • fuzzbench

      Public
      FuzzBench - Fuzzer benchmarking as a service.
      Python
      •
      Apache License 2.0
      •273•0•0•0•Updated Sep 27, 2022Sep 27, 2022

    • rust-openssl

      Public
      OpenSSL bindings for Rust
      Rust
      •758•0•0•0•Updated Aug 18, 2022Aug 18, 2022

    • libressl

      Public
      LibreSSL sources prepared for fuzzing (do not use)
      C
      •
      Other
      •0•0•0•0•Updated Aug 18, 2022Aug 18, 2022

    • libressl-src

      Public archive
      Rust package to fetch source of LibreSSL and publish logic to configure and build it
      C
      •2•0•0•0•Updated Aug 17, 2022Aug 17, 2022

    • rustls

      Public archive
      A modern TLS library in Rust
      Rust
      •
      Other
      •660•0•0•0•Updated Jul 27, 2022Jul 27, 2022

    • LibAFL

      Public archive
      Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
      Rust
      •
      Apache License 2.0
      •327•0•0•0•Updated Jul 16, 2021Jul 16, 2021