Skip to content
@tlspuffin

tlspuffin

Pinned Loading

  1. tlspuffin Public

    A Dolev-Yao-model-guided fuzzer for TLS

    Rust 139 11

  2. puffin-bench Public

    A performance testbench for the puffin fuzzer

    Python 1

Repositories

Showing 10 of 18 repositories
  • tlspuffin Public

    A Dolev-Yao-model-guided fuzzer for TLS

    Rust 139 Apache-2.0 11 78 (4 issues need help) 11 Updated Mar 20, 2025
  • tlspuffin.github.io Public
    HTML 0 MIT 0 0 0 Updated Mar 18, 2025
  • async-opcua Public Forked from FreeOpcUa/async-opcua

    Fully featured implementation of OPC-UA in Rust.

    Rust 0 MPL-2.0 5 0 0 Updated Mar 16, 2025
  • puffin-bench Public

    A performance testbench for the puffin fuzzer

    Python 1 MIT 0 0 0 Updated Jan 27, 2025
  • openssl Public Forked from openssl/openssl

    TLS/SSL and crypto library

    C 0 11,262 0 0 Updated Dec 13, 2024
  • boringssl Public Forked from google/boringssl

    Mirror of BoringSSL with tlspuffin patch

    C 0 812 3 3 Updated Feb 1, 2024
  • openssl-src-rs Public archive Forked from alexcrichton/openssl-src-rs

    Has been copied directly to the tlspuffin repository

    Rust 0 Apache-2.0 122 0 0 Updated Jun 8, 2023
  • aflnwe Public Forked from thuanpv/aflnwe
    C 0 Apache-2.0 14 0 0 Updated May 16, 2023
  • stateafl Public Forked from stateafl/stateafl

    StateAFL: A Greybox Fuzzer for Stateful Network Servers

    C 0 Apache-2.0 38 0 0 Updated May 3, 2023
  • wolfssl-sys Public Forked from expressvpn/wolfssl-sys

    A low level Rust binding for WolfSSL

    Rust 0 GPL-2.0 6 0 0 Updated Oct 28, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…