Issues

• [Bug] Results of Claude Code Audit

  bug
  cryspen/bertie#161 · Filter by author karthikbhargavan opened on Apr 15, 2026

• [SSProve] Extraction & Verification on CI

  cryspen/bertie#155 · Filter by author jschneider-bensch opened on Oct 9, 2025

• Update rand dependency

  cryspen/bertie#141 · Filter by author jschneider-bensch opened on Feb 24, 2025

• [FStar] Prove panic freedom without hand-edits

  cryspen/bertie#129 · Filter by author karthikbhargavan opened on Jan 13, 2025
  1

• This would look nicer with a range instead of start and end arguments. Not sure if hax/F* can handle that though.

  cryspen/bertie#113 · Filter by author franziskuskiefer opened on Apr 5, 2024

• [Bug] Record protocol counters may overflow

  bug
  cryspen/bertie#111 · Filter by author karthikbhargavan opened on Apr 5, 2024

• [Bug] Trunc Length in Client Hello

  bug
  cryspen/bertie#110 · Filter by author karthikbhargavan opened on Apr 5, 2024

• [Feature request] Gate extractions to F* and ProVerif behind a single feature hax

  enhancement
  cryspen/bertie#109 · Filter by author jschneider-bensch opened on Apr 4, 2024
  1

  

• [ProVerif] Extraction / analysis is not on CI

  cienhancement
  cryspen/bertie#106 · Filter by author jschneider-bensch opened on Apr 2, 2024
  

• Pin Bogo

  tests
  cryspen/bertie#97 · Filter by author franziskuskiefer opened on Mar 4, 2024

• [Bug] Incorrect parsing of large handshake messages

  bug
  cryspen/bertie#74 · Filter by author franziskuskiefer opened on Nov 22, 2023
  1

  

• Rework handling of randomness

  cryspen/bertie#73 · Filter by author jschneider-bensch opened on Nov 21, 2023

• Rework RSA privkey handling

  cryspen/bertie#72 · Filter by author jschneider-bensch opened on Nov 20, 2023

• Add F* typechecking to CI

  cryspen/bertie#64 · Filter by author franziskuskiefer opened on Nov 8, 2023

• Record payload protection

  cryspen/bertie#54 · Filter by author franziskuskiefer opened on Oct 12, 2022

• Clippy: Fix "this is a decimal constant"

  question
  cryspen/bertie#53 · Filter by author duesee opened on Oct 4, 2022

• Connection issues

  cryspen/bertie#52 · Filter by author franziskuskiefer opened on Sep 26, 2022

• [Feature request] Support multiple ciphersuites in Bertie

  enhancement
  cryspen/bertie#51 · Filter by author franziskuskiefer opened on Sep 26, 2022
  1

• Cleanup simple_https_server.

  cryspen/bertie#50 · Filter by author duesee opened on Sep 21, 2022

• https://github.com/tlsfuzzer/tlsfuzzer

  cryspen/bertie#49 · Filter by author franziskuskiefer opened on Sep 20, 2022
  1

• Add Bertie to TLS-Docker-Library.

  enhancementquestion
  cryspen/bertie#32 · Filter by author duesee opened on Jul 24, 2022

• Evaluate (and integrate) TLS-Anvil.

  enhancement
  cryspen/bertie#31 · Filter by author duesee opened on Jul 24, 2022

• Integrate BoringSSL test suite (BoGo)

  enhancement
  cryspen/bertie#30 · Filter by author duesee opened on Jul 24, 2022
  2

• Correctness Proofs

  cryspen/bertie#14 · Filter by author franziskuskiefer opened on May 18, 2022 · M4 - Proof Engineering

• TLS 1.3 Formal Specification

  cryspen/bertie#13 · Filter by author franziskuskiefer opened on May 18, 2022 · M4 - Proof Engineering