Search results

Formal Cryptanalysis: 17 Machine-Verified Proofs via Z3 + CVC5 SMT Solvers

Status: Open.

#7 In PrimalNinja/cyborgzoscii-u;

· rayiskander2406 opened on Mar 16, 2026

UNSIGNAL Protocol: where can I read the spec?

Status: Open.

#6 In PrimalNinja/cyborgzoscii-u;

· rayiskschoolday opened on Mar 3, 2026

How does HMAC reduce security?

Status: Open.

#5 In PrimalNinja/cyborgzoscii-u;

· rayiskschoolday opened on Mar 3, 2026

Frequency analysis: an empirical test proposal

Status: Open.

#4 In PrimalNinja/cyborgzoscii-u;

· rayiskschoolday opened on Mar 3, 2026

Information-theoretic security vs. PRNG entropy

Status: Open.

#3 In PrimalNinja/cyborgzoscii-u;

· rayiskschoolday opened on Mar 3, 2026

Classification: what is the correct term if not encryption?

Status: Open.

#2 In PrimalNinja/cyborgzoscii-u;

· rayiskschoolday opened on Mar 3, 2026

Independent Security Review of ZOSCII / UNSIGNAL Protocol

Status: Open.

#1 In PrimalNinja/cyborgzoscii-u;

· rayiskander2406 opened on Mar 3, 2026