Issues

• Systematic filtered extensions in differential fuzzing could be conditionned to PUTs capabilities

  TLS
  Task

  tlspuffin/tlspuffin#496 · Filter by author nataelbaffou opened on Jun 4, 2026

• Zombie fuzzing clients

  bug
  Bug

  tlspuffin/tlspuffin#493 · Filter by author aeyno opened on May 20, 2026

• [Differential] Global deduplication of objectives instead of per client dedup

  tlspuffin/tlspuffin#492 · Filter by author aeyno opened on May 20, 2026

• Further extend the TLS Mapper

  enhancement
  Task

  tlspuffin/tlspuffin#482 · Filter by author LCBH opened on Apr 16, 2026

• Add doc for parametrization in webdoc

  tlspuffin/tlspuffin#479 · Filter by author nataelbaffou opened on Apr 15, 2026

• Add rsa_sign and ecdsa_sign function to signature

  tlspuffin/tlspuffin#478 · Filter by author nataelbaffou opened on Apr 15, 2026

• Add prior traces to TraceExecution

  enhancement
  tlspuffin/tlspuffin#476 · Filter by author aeyno opened on Mar 31, 2026

• Refactor PutOptions preventing put_use_clear-like bugs

  enhancement
  Feature

  tlspuffin/tlspuffin#471 · Filter by author LCBH opened on Mar 24, 2026
  1

• TermZoo improvements

  enhancement
  tlspuffin/tlspuffin#464 · Filter by author nataelbaffou opened on Mar 12, 2026

• Export trace DSL

  enhancement
  Feature

  tlspuffin/tlspuffin#463 · Filter by author LCBH opened on Mar 11, 2026

• Run tests for macros crates in the CI

  enhancementuni-test
  Task

  tlspuffin/tlspuffin#462 · Filter by author aeyno opened on Mar 4, 2026

• Enums with values of vastly different sizes

  tlspuffin/tlspuffin#458 · Filter by author nataelbaffou opened on Feb 12, 2026

• Redesign ci:fast / cf:full

  enhancement
  Feature

  tlspuffin/tlspuffin#452 · Filter by author LCBH opened on Jan 23, 2026

• [bit] Enforce must_payload_in_subterm

  tlspuffin/tlspuffin#445 · Filter by author LCBH opened on Jan 22, 2026

• [Bit] Compute real ratio of #payloads / #input terms

  tlspuffin/tlspuffin#444 · Filter by author LCBH opened on Jan 22, 2026

• Function requires consuming argument but actually it requires borrowing only

  tlspuffin/tlspuffin#440 · Filter by author tathanhdinh opened on Dec 5, 2025
  1

  

• Lack of checks at compile time that a symbolic function used in a term is in the signature.

  enhancement
  Feature

  tlspuffin/tlspuffin#437 · Filter by author vdh-anssi opened on Nov 28, 2025

• Add ConfigTrace to display-execute CLI command

  enhancementminor
  Feature

  tlspuffin/tlspuffin#429 · Filter by author LCBH opened on Aug 27, 2025

• Some HandshakePayload are wrongly read

  buglong-termminor
  Bug

  tlspuffin/tlspuffin#427 · Filter by author LCBH opened on Aug 27, 2025

• Add application layer

  enhancementlong-termTLS
  Task

  tlspuffin/tlspuffin#403 · Filter by author LCBH opened on Jun 18, 2025

• Refactor patch on vendors

  tlspuffin/tlspuffin#399 · Filter by author LCBH opened on Jun 5, 2025

• OpenSSL default PRNG is not deterministic

  minor
  Task

  tlspuffin/tlspuffin#395 · Filter by author aeyno opened on May 26, 2025

• OpenSSL CPUT is not deterministic

  enhancement
  Feature

  tlspuffin/tlspuffin#393 · Filter by author LCBH opened on May 21, 2025
  1

• evaluation-paper-2022 Script error

  tlspuffin/tlspuffin#391 · Filter by author yuyz-cyber opened on May 3, 2025
  1

• Split Claim between Puffin and protocols

  refactoring
  Task

  tlspuffin/tlspuffin#390 · Filter by author aeyno opened on Apr 30, 2025