Repository navigation

Security #87

Job	Run time
Kani Formal Verification	17s
Cargo Vet (Supply Chain)	2m 15s
Deep Fuzzing (8 hours) (byte_storage_corrupted_envelope)	31m 12s
Deep Fuzzing (8 hours) (byte_storage_checksum_collision)	31m 10s
Deep Fuzzing (8 hours) (byte_storage_compress)	31m 6s
Deep Fuzzing (8 hours) (byte_storage_empty_data)	31m 7s
Deep Fuzzing (8 hours) (byte_storage_format_injection)	31m 8s
Deep Fuzzing (8 hours) (encryption_aad_injection)	31m 7s
Deep Fuzzing (8 hours) (byte_storage_decompress)	31m 13s
Deep Fuzzing (8 hours) (encryption_nonce_reuse)	31m 14s
Deep Fuzzing (8 hours) (encryption_key_derivation)	31m 7s
Deep Fuzzing (8 hours) (compression_bomb)	31m 11s
Deep Fuzzing (8 hours) (byte_storage_integer_overflow)	31m 10s
Deep Fuzzing (8 hours) (integration_layered_security)	31m 12s
Deep Fuzzing (8 hours) (key_derivation)	31m 11s
Deep Fuzzing (8 hours) (encryption_roundtrip)	31m 17s
Deep Fuzzing (8 hours) (encryption_large_payload)	31m 9s
Deep Fuzzing (8 hours) (encryption_truncated_ciphertext)	31m 9s
Quick Fuzz (Corpus Only)	0s
Fast Security Checks	0s
Generate SBOM	0s
	8h 21m 15s