The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🔒Cryptography
OneTwoPAKE: Two-Round Strong Asymmetric PAKE with Ideal Security
eprint.iacr.org·3d
🔒Cryptography
IdentityMesh: Exploiting Lateral Movement in Agentic Systems
lasso.security·8h·
Discuss: Hacker News
🐛Vulnerability Research
Show HN: Storing private blogs on public internet with 0 verifications
sgaud.com·6h·
Discuss: Hacker News
🐛Vulnerability Research
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🔒Cryptography
Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·1d·
Discuss: Hacker News
🔒Cryptography
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·8h·
Discuss: Hacker News
🔒Cryptography
Why Powerful But Hard To Detect Backdoors Could Become A Routine Problem For Open Source Projects Because Of AI
techdirt.com·14h·
Discuss: Hacker News
🐛Vulnerability Research
Strategies for securing non-human identities (services, workloads, AI agents)
cerbos.dev·5h·
Discuss: Hacker News, r/programming
🔒Cryptography
Stress testing Biome's noFloatingPromises lint rule
vercel.com·1d·
Discuss: Hacker News
🦀Rust
Rust for Linux – Encoding the trust of data in the type system
lwn.net·23h·
Discuss: Hacker News
🦀Rust
Galactic Algorithm
en.wikipedia.org·22h·
Discuss: Hacker News
🔒Cryptography
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
✅Formal Methods
Subverting code integrity checks to locally backdoor Signal, 1Password, Slack, and more
blog.trailofbits.com·1d·
Discuss: Lobsters, Hacker News
🐛Vulnerability Research
Hackers use Ethereum smart contracts to conceal malware in code libraries
theblock.co·1d·
Discuss: Hacker News
🐛Vulnerability Research
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·12h·
Discuss: Hacker News
🐛Vulnerability Research
Protobuffers Are Wrong
reasonablypolymorphic.com·1h·
Discuss: Hacker News
✅Formal Methods
I Ditched Docker for Podman (and You Should Too)
codesmash.dev·5h·
Discuss: Hacker News, r/programming
🦀Rust
Polynomial determined by two inputs (2012)
johndcook.com·2d·
Discuss: Hacker News
✅Formal Methods
Phala GPU Tee Deep Dive: Securing AI at the Hardware Layer
phala.com·10h·
Discuss: Hacker News
⚡CUDA