Hardness of M-LWE with General Distributions and Applications to Leaky Variants
eprint.iacr.org·2d
✅Formal Methods
Decentralized Proof-of-Location systems for trust, scalability, and privacy
nature.com·3d·
Discuss: Hacker News
🔒Cryptography
Anaphoric Macros
letoverlambda.com·8h·
Discuss: Lobsters
✅Formal Methods
AI Proves P != NP
mvcalder-01701.medium.com·1d·
Discuss: Hacker News
🔒Cryptography
Ed25519 Support in Chrome: Making the Web Faster and Safer
ipfsfoundation.org·10h·
Discuss: Lobsters
🔒Cryptography
How Randomness Improves Algorithms?
quantamagazine.org·1d·
Discuss: Hacker News
✅Formal Methods
Password-Hardened Encryption Revisited
eprint.iacr.org·4d
🔒Cryptography
Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes
eprint.iacr.org·4d
✅Formal Methods
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Formal Methods
Migrating from Monolith to Serverless
news.ycombinator.com·23h·
Discuss: Hacker News
🦀Rust
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com·3d·
Discuss: Hacker News
🔒Cryptography
Predicted 'neglectons' hold promise for robust, universal quantum computing
physicsworld.com·20h·
Discuss: Hacker News
🔒Cryptography
Revisiting Adaptively Secure IBE from Lattices with Smaller Modulus: A Conceptually Simple Framework with Low Overhead
eprint.iacr.org·3d
🔒Cryptography
NTWR Prime - redundant security based on NTRU Prime and LWR problems
eprint.iacr.org·2d
🔒Cryptography
Why Remediation Is the Hardest Problem in NHI Security
token.security·1d·
Discuss: Hacker News
🔒Cryptography
Leakage-Resilient Circuits against NC1, Revisited
eprint.iacr.org·3d
🔒Cryptography
Optimized HPPK Cryptography for Post-Quantum Security
eprint.iacr.org·3d
🔒Cryptography
Answering the BfDI's questions on personal data in LLMs
desfontain.es·2d·
Discuss: Lobsters, Hacker News
🔒Cryptography
DINOv3: Single vision backbone outperforms specialized solutions on tasks
ai.meta.com·1d·
Discuss: Hacker News
🎨Rendering
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·1d·
Discuss: Lobsters, Hacker News
✅Formal Methods