mirror of
https://github.com/rosenpass/rosenpass.git
synced 2025-12-25 04:17:06 -08:00
99ac3c0902
Libcrux is a library for formally verified implementations of
cryptographic primitives. It uses multiple back ends; one of which is
libjade. A cryptographic library written in the jasmin assembly
language for high assurance cryptographic implementations.
To use compile with the experiment_libcrux feature enabled:
cargo build --features experiment_libcrux
88 lines
1.7 KiB
TOML
88 lines
1.7 KiB
TOML
[package]
|
|
name = "rosenpass-fuzzing"
|
|
version = "0.0.1"
|
|
publish = false
|
|
edition = "2021"
|
|
|
|
[features]
|
|
experiment_libcrux = ["rosenpass-ciphers/experiment_libcrux"]
|
|
|
|
[package.metadata]
|
|
cargo-fuzz = true
|
|
|
|
[dependencies]
|
|
arbitrary = { workspace = true }
|
|
libfuzzer-sys = { workspace = true }
|
|
stacker = { workspace = true }
|
|
rosenpass-secret-memory = { workspace = true }
|
|
rosenpass-ciphers = { workspace = true }
|
|
rosenpass-cipher-traits = { workspace = true }
|
|
rosenpass-to = { workspace = true }
|
|
rosenpass = { workspace = true }
|
|
|
|
[[bin]]
|
|
name = "fuzz_handle_msg"
|
|
path = "fuzz_targets/handle_msg.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_blake2b"
|
|
path = "fuzz_targets/blake2b.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_aead_enc_into"
|
|
path = "fuzz_targets/aead_enc_into.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_mceliece_encaps"
|
|
path = "fuzz_targets/mceliece_encaps.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_kyber_encaps"
|
|
path = "fuzz_targets/kyber_encaps.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_box_secret_alloc_malloc"
|
|
path = "fuzz_targets/box_secret_alloc_malloc.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_vec_secret_alloc_malloc"
|
|
path = "fuzz_targets/vec_secret_alloc_malloc.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_box_secret_alloc_memfdsec"
|
|
path = "fuzz_targets/box_secret_alloc_memfdsec.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_vec_secret_alloc_memfdsec"
|
|
path = "fuzz_targets/vec_secret_alloc_memfdsec.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_box_secret_alloc_memfdsec_mallocfb"
|
|
path = "fuzz_targets/box_secret_alloc_memfdsec_mallocfb.rs"
|
|
test = false
|
|
doc = false
|
|
|
|
[[bin]]
|
|
name = "fuzz_vec_secret_alloc_memfdsec_mallocfb"
|
|
path = "fuzz_targets/vec_secret_alloc_memfdsec_mallocfb.rs"
|
|
test = false
|
|
doc = false
|