Salmon Introduces Execution Verification Infrastructure (EVI) for Securing AI Agents and Autonomous Systems
2 sources 4 min
Using LLMs to trace alchemical knowledge and decode 17th century letters
15 min
There's a new way to break RSA that's faster than anything we've seen before
2 sources 2 min
Sluice: Global Invariant, Local Enforcement for Pooled Payment-Channel Liquidity
Computational Cryptography from Pseudoentanglement
Security Limits of Mining Before Validation in Nakamoto Consensus
Credible AUctions via MPC Gadgets: Bounding Information Leakage Under Abort
I Prove, Therefore I Am: Spatiotemporal Multi-Party Computation
Formally Modeling the Terrapin Attack on SSH
On the Construction of Trapdoor Claw-Free Functions with Certifiable Key
FASTAR: FRI Accelerator for Scalable Transparent ARguments of Knowledge
Domain Specific Post Quantum Signatures for Blockchains
Prefix Puncturable Signatures with Smaller Signing Key from HIBS
New lower bounds for CDS and $f$-routing
ZK-JPEG: Zero-knowledge Image Editing and Compression
The Supersingular Isogeny Problem in Time and Memory $p^{1/3+o(1)}$, Unconditionally
Critical sets of Latin squares based on autoparatopisms
On the Leakage of Massey Secret Sharing Schemes under Linear Computations
Re: Retrospective by 'gpg.fail' authors
Low-Rank Masking for Single-Server Matrix Multiplication
Locus: A Framework for Exploring and Optimizing Point Addition Hardware for Zero-Knowledge Proofs
1