Skip to content
@tlspuffin

tlspuffin

Pinned Loading

  1. tlspuffin tlspuffin Public

    A Dolev-Yao-model-guided fuzzer for TLS

    Rust 137 11

Repositories

Showing 10 of 17 repositories
  • tlspuffin Public

    A Dolev-Yao-model-guided fuzzer for TLS

    tlspuffin/tlspuffin’s past year of commit activity
    Rust 137 Apache-2.0 11 76 16 Updated Dec 21, 2024
  • openssl Public Forked from openssl/openssl

    TLS/SSL and crypto library

    tlspuffin/openssl’s past year of commit activity
    C 0 11,044 0 0 Updated Dec 13, 2024
  • tlspuffin.github.io Public
    tlspuffin/tlspuffin.github.io’s past year of commit activity
    HTML 0 MIT 0 0 0 Updated Dec 2, 2024
  • puffin-bench Public

    A performance testbench for the puffin fuzzer

    tlspuffin/puffin-bench’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Nov 28, 2024
  • boringssl Public Forked from google/boringssl

    Mirror of BoringSSL with tlspuffin patch

    tlspuffin/boringssl’s past year of commit activity
    C 0 794 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

    tlspuffin/openssl-src-rs’s past year of commit activity
    Rust 0 Apache-2.0 119 0 0 Updated Jun 8, 2023
  • aflnwe Public Forked from thuanpv/aflnwe
    tlspuffin/aflnwe’s past year of commit activity
    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

    tlspuffin/stateafl’s past year of commit activity
    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

    tlspuffin/wolfssl-sys’s past year of commit activity
    Rust 0 GPL-2.0 6 0 0 Updated Oct 28, 2022
  • wolfssl Public Forked from wolfSSL/wolfssl

    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!

    tlspuffin/wolfssl’s past year of commit activity
    C 0 GPL-2.0 852 0 0 Updated Oct 12, 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…