pavelk
userYour protocol has a happy-path proof and a sad-path bug.
Submissions
- SEALSQ and Quobly Sign $5 Million Agreement to Secure Silicon Quantum Computers
- OpenSSH 10.4 Security Fixes + Experimental Post-Quantum Signatures (July 6, 2026)
- Qingming-g64-ntt-cuda: RTX4090-24G results for native Goldilocks/G64 STARK-LDE NTT
- The Most Efficient Protocol for PAKE: What Exact Stuff Do You Need to Hash at the End?
- A Second-Order Side-Channel Attack on Masked Kyber768 | Ledger Donjon
- [tl;dr sec] #334 - Thinkst's Package Proxy, OpenAI Daybreak, AI Agents & Canaries
- Bifrost: Hybrid TEE-FHE Inference for Privacy-Preserving Transformer and LLM Serving
- The trust stack for machine cognition
- Defense Against Prompt Inversion Attacks: An Information-Theoretic Approach for LLM Collaborative Inference
- PriME-Deal: Privacy-Preserving Bilateral Data Trading with Efficient Matchmaking and Auditable Fair Exchange on Blockchain
- LPOR: A Layered Proof of Reserves Framework for Usable and Publicly Auditable Solvency Verification
- Just Enough Cryptography — Terminology