issues
search
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
13
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ci: configure automated releases
#61
geonnave
closed
1 year ago
1
edhoc-hacspec: declassify numbers before return from parse
#60
geonnave
closed
1 year ago
5
ci: add workflow to generate fstar code
#59
geonnave
closed
1 year ago
2
Check message length in decode_plaintext_2
#58
geonnave
closed
1 year ago
2
Generate `fstar` on CI
#57
geonnave
closed
1 year ago
2
Check MAC before checking kid
#56
malishav
closed
1 year ago
1
Improve CI
#55
geonnave
closed
1 year ago
3
fix: make sure the no_std example works on rust and hacspec
#54
geonnave
closed
1 year ago
1
Improve CI
#53
geonnave
closed
1 year ago
1
Remove hacspec-specific code from no_std example
#52
geonnave
closed
1 year ago
2
Check the authentication tag before checking the kid in i_process_message_2
#51
malishav
closed
1 year ago
1
Check message length in decode_plaintext_2
#50
malishav
closed
1 year ago
2
Declassify numbers before returning from the parsing routine
#49
malishav
closed
10 months ago
2
Error handling improvements
#48
malishav
closed
1 year ago
0
Use single line construct with from_slice when possible
#47
malishav
closed
1 year ago
0
Use single line construct when possible
#46
malishav
closed
1 year ago
1
Add RNG and generate ephemeral keys
#45
geonnave
closed
1 year ago
8
Benchmark memory usage
#44
malishav
opened
1 year ago
1
Error handling: Replace custom error enum with Rust's Result type
#43
malishav
closed
1 year ago
1
Use RNG to generate ephemeral keys
#42
malishav
closed
1 year ago
1
Extend the crypto API to include random number generation
#41
malishav
closed
1 year ago
1
Add vanilla Rust version of the protocol
#40
malishav
closed
1 year ago
0
Add Rust version of the hacspec code
#39
malishav
closed
1 year ago
0
Add Docs
#38
geonnave
closed
1 year ago
5
Fix hacspec typechecker
#37
malishav
closed
1 year ago
1
Adapt no_std example for nRF52840 and implement crypto backend using CryptoCell310
#36
malishav
closed
1 year ago
0
examples/edhoc-rs-cc2538: Update the CC2538 example and wire it up with PSA
#35
malishav
closed
1 year ago
0
Implement crypto interface using PSA backend
#34
malishav
closed
1 year ago
0
Implement crypto interface for PSA backend
#33
malishav
closed
1 year ago
1
Reduce workspace default members
#32
kaspar030
closed
1 year ago
5
examples/edhoc-rs-no_std: wire up psa
#31
kaspar030
closed
1 year ago
6
crypto: add psa backend (stubs!)
#30
kaspar030
closed
1 year ago
5
Add support for multiple crypto backends
#29
malishav
closed
1 year ago
0
add psa no_std support (WIP)
#28
kaspar030
closed
1 year ago
0
crypto: add initial PSA work
#27
kaspar030
closed
1 year ago
2
examples/coap: some cleanup
#26
kaspar030
closed
1 year ago
1
crypto: split out implementations
#25
kaspar030
closed
1 year ago
4
Add plain no std example
#24
kaspar030
closed
1 year ago
1
move examples out of lib/
#23
kaspar030
closed
1 year ago
1
edhoc-rs: also select mod hacspec if `feature = "hacspec-cc2538"`
#22
kaspar030
closed
1 year ago
0
update hacspec/Cargo.toml deps
#21
kaspar030
closed
1 year ago
0
mark edhoc-rs no_std
#20
kaspar030
closed
1 year ago
0
use cargo's `[patch]` to point to hacspec aesccm branch
#19
kaspar030
closed
1 year ago
1
Implement responder example application
#18
malishav
closed
1 year ago
0
Implement Responder example application
#17
malishav
closed
1 year ago
0
Expose connection id to the responder application
#16
malishav
closed
1 year ago
0
Return connection id of the responder to the application
#15
malishav
closed
1 year ago
0
13 save connection identifier properly
#14
malishav
closed
1 year ago
0
Connection ID returned to the application for transported in invalid
#13
malishav
closed
1 year ago
0
Implement protocol state machine
#12
malishav
closed
1 year ago
0
Previous
Next