Search results

[SSProve] Extraction & Verification on CI

Status: Open.

#155 In cryspen/bertie;

· jschneider-bensch opened on Oct 9, 2025

Update <code>rand</code> dependency

Status: Open.

#141 In cryspen/bertie;

· jschneider-bensch opened on Feb 24, 2025

[FStar] Prove panic freedom without hand-edits

Status: Open.

#129 In cryspen/bertie;

· karthikbhargavan opened on Jan 13, 2025

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

Status: Open.

#113 In cryspen/bertie;

· franziskuskiefer opened on Apr 5, 2024

[Bug] Record protocol counters may overflow

bugSomething isn't workingSomething isn't working

Status: Open.

#111 In cryspen/bertie;

· karthikbhargavan opened on Apr 5, 2024

[Bug] Trunc Length in Client Hello

bugSomething isn't workingSomething isn't working

Status: Open.

#110 In cryspen/bertie;

· karthikbhargavan opened on Apr 5, 2024

[Feature request] Gate extractions to F* and ProVerif behind a single feature <code>hax</code>

enhancementNew feature or requestNew feature or request

Status: Open.

#109 In cryspen/bertie;

· jschneider-bensch opened on Apr 4, 2024

[ProVerif] Extraction / analysis is not on CI

ciContinuous integrationContinuous integration

enhancementNew feature or requestNew feature or request

Status: Open.

#106 In cryspen/bertie;

· jschneider-bensch opened on Apr 2, 2024

Pin Bogo

testsTestsTests

Status: Open.

#97 In cryspen/bertie;

· franziskuskiefer opened on Mar 4, 2024

[Bug] Incorrect parsing of large handshake messages

bugSomething isn't workingSomething isn't working

Status: Open.

#74 In cryspen/bertie;

· franziskuskiefer opened on Nov 22, 2023

Rework handling of randomness

Status: Open.

#73 In cryspen/bertie;

· jschneider-bensch opened on Nov 21, 2023

Rework RSA privkey handling

Status: Open.

#72 In cryspen/bertie;

· jschneider-bensch opened on Nov 20, 2023