[hax] backporting safe cbor parsing (PR #140)

openwsn-berkeley / lakers

EDHOC implemented in Rust, optimized for microcontrollers, with bindings for C and Python.

https://crates.io/crates/lakers

BSD 3-Clause "New" or "Revised" License

12 stars 10 forks source link

[hax] backporting safe cbor parsing (PR #140) #143

Closed geonnave closed 8 months ago

geonnave commented 8 months ago

Applying PR #140 to the hax branch.

Generated fstar files here: edhoc-rs-fstar-20nov2023-10h27.zip

Command:

cargo-hax -C -p edhoc-rs -p edhoc-consts  --no-default-features --features="crypto-hacspec, ead-none" \; into -i '-edhoc_rs::generate_connection_identifier_cbor -edhoc_rs::generate_connection_identifier' fstar