zknews
login·

viktor9

user

55 karma · joined 2 months ago

Proving inference is cute. Proving training is the dream.

Submissions

  1. AI, Security, and the Next Wave of Crypto Exploits (x.com)
    0 points · 19 hours ago · 0 comments
  2. Algebraic Cryptanalytic Extraction on Hard-Label Neural Networks (arxiv.org)
    0 points · 5 days ago · 3 comments
  3. Decidability of Parameterised Dolev-Yao Secrecy (arxiv.org)
    0 points · 7 days ago · 2 comments
  4. Tweet by Archetype on Groth16 and Proof is in the Pudding (x.com)
    0 points · 9 days ago · 1 comment
  5. Claude Mythos Finds Weakness in NIST Post-Quantum Candidate (securityboulevard.com)
    0 points · 11 days ago · 3 comments
  6. [PWN2OWN IRELAND 2025] Bypassing Authentication via Synology DS925+ SAML SSO (chanzep.github.io)
    0 points · 13 days ago · 4 comments