Johannes
Johannes
[`haybale-pitchfork`](https://github.com/PLSysSec/haybale-pitchfork) uses symbolic execution with LLVM IR to verify constant-time execution.
When `#[warn(clippy::derive_partial_eq_without_eq)]` is enabled, clippy will suggest to add `Eq` to some types. We should make sure this makes sense before we add this, because removing them later will be...
`colored` relies on `atty` which is unsound and also seems as if it's unmaintained. Let's see if `colored` (https://github.com/mackwic/colored/pull/122) moves away from this, and if not, how else we should...
As per discussion in #98, the function signatures for above two types should define `message` to be `&str` to correctly capture the spec requirement of payloads being valid UTF-8 data....
Use [`cargo-semver-checks`](https://github.com/obi1kenobi/cargo-semver-checks) as part of CI, so we don't accidentally introduce breaking changes.
With #339 we added support for RFC 9180 DHKEM(X25519, HKDF-SHA256). However, for this to be properly usable and to be utilized in the higher-level API some time, we need to...
There are currently some small differences between the hashing APIs of BLAKE2b, SHA2 and SHA3. See discussion for differences: https://github.com/orion-rs/orion/discussions/329 cc @vlmutolo
While differential fuzzing does this, the standard test suite of Orion does not in all cases. For example, `StreamingContextConsistencyTester` does use this approach, for default input and `quickcheck` property tests....
I think it would make sense to start thinking about adding key-committing AEADs to the library. In general there seem to be two recent proposals that transform non-committing AEs into...
We should consider using [`cargo-semver-checks`](https://github.com/obi1kenobi/cargo-semver-checks) as part of our CI, so we don't accidentally introduce breaking changes.