Search results

Meet PQCP Project Documentation Standards

Status: Open.

#38 In pq-code-package/slhdsa-c;

· mkannwischer opened on Nov 7, 2025

CBMC: Prove <code>adrs_set_hash_address</code>

Status: Open.

#30 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>keccak_f1600</code>

Status: Open.

#29 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>shake_out</code>

Status: Open.

#27 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>sha3_update</code>

Status: Open.

#26 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>shake_chain</code>

Status: Open.

#24 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>shake_prf</code>

Status: Open.

#23 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>adrs_set_tree_index</code>

Status: Open.

#22 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>adrs_set_type</code>

Status: Open.

#21 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

CBMC: Prove <code>shake_wots_chain</code>

Status: Open.

#20 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 30, 2025

Fix compiler tests with zig 0.12/0.13/0.14

Status: Open.

#17 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jul 29, 2025

Consider supporting LMS and XMSS

Status: Open.

#8 In pq-code-package/slhdsa-c;

· mkannwischer opened on Jun 18, 2025