Search results

[audit] Enforce SPKI cert pinning — migrate keyless HTTP from ureq to rustls

Status: Open.

#95 In pulseengine/sigil;

· avrabe opened on Apr 29, 2026

MIRAI prototype — evaluate abstract interpretation on crypto parser paths (varint + DSSE)

Status: Open.

#91 In pulseengine/sigil;

· avrabe opened on Apr 22, 2026

Add criterion benchmarks for signature verification paths

Status: Open.

#89 In pulseengine/sigil;

· avrabe opened on Apr 22, 2026

Add Kani harnesses for crypto parsers (varint, DSSE envelope, signature verification)

Status: Open.

#88 In pulseengine/sigil;

· avrabe opened on Apr 22, 2026

Per-component attestation for cFS WASM components: mission-specific signing policies

Status: Open.

#79 In pulseengine/sigil;

· avrabe opened on Apr 12, 2026

feat: post-quantum signature support (SLH-DSA / FIPS 205)

Status: Open.

#46 In pulseengine/sigil;

· avrabe opened on Mar 2, 2026