For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Telegram's MTProto: Assessing Deanonymization Potential for a Network Attacker [pdf] (symbolic.software)
2 points by sysoleg 14 days ago | past
The Verification Facade: Structural Gaps in Cryspen's Hax Pipeline (symbolic.software)
2 points by alpaylan 60 days ago | past
The Promises of 'High-Assurance' Cryptography (symbolic.software)
1 point by PaulHoule 3 months ago | past
Verifpal, Rewritten in Rust (symbolic.software)
3 points by todsacerdoti 3 months ago | past
The Promises of 'High-Assurance' Cryptography (symbolic.software)
4 points by todsacerdoti 4 months ago | past
One Year of Verifpal: Where It Stands with Cryptographic Protocol Security (symbolic.software)
2 points by loup-vaillant on Sept 2, 2020 | past
Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol (symbolic.software)
5 points by alokrai on April 5, 2020 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You