cryspen bertie issues - Githubissues

cryspen / bertie

Bertie TLS 1.3 Implementation

Apache License 2.0

112 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add ML-KEM ciphersuite

#124 franziskuskiefer opened 2 weeks ago
0
Speedup hax CI job

#123 franziskuskiefer opened 3 months ago
1
Implement PQ hybrid handshake

#122 jschneider-bensch closed 3 months ago
0
ci: add workflow to update `flake.lock` & update `nix.yml` workflow

#121 pnmadelaine closed 3 months ago
0
Allow X25519Kyber768Draft00 as KEM option

#120 jschneider-bensch closed 3 months ago
4
fix: cargo fmt

#119 W95Psp closed 4 months ago
0
Add Nix files and commit `Cargo.lock`

#118 pnmadelaine closed 3 months ago
8
fix(f*/lax): latest hax: fixes let-rec and types on empty lists

#117 W95Psp closed 3 months ago
0
[ProVerif] Incorporate code changes from Proving Panic Freedom in F* #112 into ProVerif model

#116 jschneider-bensch opened 6 months ago
1
Backport F* proofs to Rust and remove patches

#115 karthikbhargavan opened 6 months ago
2
[Feature request]

#114 karthikbhargavan closed 6 months ago
2
This would look nicer with a `range` instead of `start` and `end` arguments. Not sure if hax/F* can handle that though.

#113 franziskuskiefer opened 6 months ago
0
Proving Panic Freedom in F*

#112 karthikbhargavan closed 6 months ago
0
[Bug] Record protocol counters may overflow

#111 karthikbhargavan opened 6 months ago
0
[Bug] Trunc Length in Client Hello

#110 karthikbhargavan opened 6 months ago
0
[Feature request] Gate extractions to F* and ProVerif behind a single feature `hax`

#109 jschneider-bensch opened 6 months ago
1
Reflect code / backend changes in PV handshake model

#108 jschneider-bensch closed 6 months ago
0
Bertie Lax Typechecking

#107 karthikbhargavan closed 6 months ago
0
[ProVerif] Extraction / analysis is not on CI

#106 jschneider-bensch opened 6 months ago
0
[ProVerif] Insert handwritten model parts automatically instead of manual patching

#105 jschneider-bensch opened 6 months ago
0
[ProVerif] Remove unnecessary auto-generated events from model

#104 jschneider-bensch closed 6 months ago
1
Fix linter warnings about unused PostFinished state

#103 jschneider-bensch closed 6 months ago
0
Move `hax-lib-macros` dependency to a feature

#102 jschneider-bensch closed 6 months ago
0
Correct argument order for `process_psk_binder_zero_rtt`

#101 jschneider-bensch closed 6 months ago
1
[ProVerif] Demonstrate the ProVerif model is working via reachability analysis

#100 jschneider-bensch closed 6 months ago
1
PV Handshake Scheduler

#99 jschneider-bensch closed 6 months ago
1
ProVerif Handshake Model

#98 jschneider-bensch closed 6 months ago
1
Pin Bogo

#97 franziskuskiefer opened 7 months ago
0
Disable audit job on ci

#96 franziskuskiefer closed 7 months ago
0
Disable audit CI

#95 franziskuskiefer closed 7 months ago
1
Typechecking ProVerif model for `tls13handshake`

#94 jschneider-bensch closed 7 months ago
0
Extend hax driver for ProVerif

#93 jschneider-bensch closed 7 months ago
1
feat(hax): add `extract-handshake` to the driver

#92 W95Psp closed 7 months ago
2
fix(fstar/makefile): use common HAX variables

#91 W95Psp closed 8 months ago
0
fix(hax-driver/F*): extraction options

#90 W95Psp closed 8 months ago
0
Bertie Verification Workplan

#89 karthikbhargavan closed 6 months ago
0
bytes_concat and more improvements for memory handling

#88 franziskuskiefer closed 8 months ago
0
Improve protocol performance

#87 franziskuskiefer closed 9 months ago
0
Lax typecheck

#86 franziskuskiefer closed 6 months ago
3
Add benchmarks for client hello

#85 franziskuskiefer closed 9 months ago
0
Benchmarks

#84 franziskuskiefer closed 9 months ago
0
A number of small code quality improvements

#83 jschneider-bensch closed 9 months ago
0
Clean up state machines

#82 franziskuskiefer closed 6 months ago
1
bump libcrux and use crates.io version

#81 franziskuskiefer closed 10 months ago
0
minimal documentation in lib

#80 karthikbhargavan closed 10 months ago
0
gh-pages job

#79 franziskuskiefer closed 10 months ago
0
hacspec hax cleanup - part 4

#78 franziskuskiefer closed 10 months ago
0
hacspec hax cleanup - part 3

#77 franziskuskiefer closed 10 months ago
0
hacspec hax cleanup - part 2

#76 franziskuskiefer closed 10 months ago
0
hacspec hax cleanup - part 1

#75 franziskuskiefer closed 10 months ago
0