🔐 Cryptography

Secure Communication, Encryption Algorithms, Zero-knowledge Proofs, Blockchain

53 Years of Public Key Infrastructure and It's Still Broken?
hackernoon.com·2d
📡Distributed Systems
Quantum Algorithm Zoo
quantumalgorithmzoo.org·13h·
Discuss: Hacker News
🔄Compiler Design
Zero-knowledge proofs unlock privacy in digital identity
hopae.com·3d·
Discuss: Hacker News
✅Formal Verification
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·1d·
Discuss: r/programming
✅Formal Verification
Shamir's Secret Sharing
en.wikipedia.org·1d·
Discuss: Hacker News
✅Formal Verification
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🕸️Service Mesh
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·24m·
Discuss: Hacker News
📡Distributed Systems
Lessons from Hidden Satoshi Gold Book on Crypto and AI
satoshigoldbook.com·16h·
Discuss: Hacker News
🗄Database Systems
Issue 489
haskellweekly.news·1h·
Discuss: Hacker News
🔄Compiler Design
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·17h·
Discuss: Hacker News
🕸️Service Mesh
The New Math of Quantum Cryptography
wired.com·4d·
Discuss: Hacker News
📡Distributed Systems
Auth Migration Hell: Why Your Next Identity Project Might Keep You Up at Night
securityboulevard.com·3h·
Discuss: Hacker News
🕸️Service Mesh
Exploring Canton: a privacy-preserving distributed ledger for finance
quant.engineering·15h·
Discuss: Hacker News
🗄Database Systems
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·3h·
Discuss: Hacker News
🔌Network Programming
Brussels faces privacy crossroads over encryption backdoors
theregister.com·1h·
Discuss: Hacker News
👁️Observability
Standards for Age Verification
avpassociation.com·19h·
Discuss: Hacker News
✅Formal Verification
Preventing the NPM Debug/Chalk Compromise in 200 lines of JavaScript
getvouchsafe.org·11h·
Discuss: Hacker News, r/javascript, r/node
📦WebAssembly
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2h·
Discuss: Hacker News
🔄Compiler Design
Lessons in Disabling RC4 in Active Directory
syfuhs.net·47m·
Discuss: Hacker News
🔍eBPF