progscrape: cryptography

BrowserStack local leaking private key

5 months ago infosec.exchange browsers cryptography security

Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean

5 months ago leodemoura.github.io cryptography formalmethods rust security signal vibecoding

Why full-stack post-quantum cryptography cannot wait

6 months ago blogs.cisco.com

Post-Quantum Cryptography Migration at Meta: Framework, Lessons, and Takeaways

5 months ago engineering.fb.com meta

OpenSSH Post-Quantum Cryptography (2025)

5 months ago openssh.com networking openssh security

We need Post-Quantum Cryptography more than ever

5 months ago hawksley.dev

Where and how should I learn rust for cryptography ??

5 months ago reddit.com rust

Secure Communication, Buried In A News App

6 months ago hackaday.com cryptography

A small proposal for mixing PQ KEMs into Noise

6 months ago runxiyu.org cryptography

Disclosure of Replay Attack Vulnerability in Signed References

6 months ago radicle.xyz cryptography security vcs