CRYPTOGRAPHY

Invariant-Based Cryptography
2 points | 0 comments

WhatsApp provides no cryptographic management for group messages
4 points | 0 comments

ProVerif: Cryptographic protocol verifier in the formal model
2 points | 0 comments

Verifpal is new software for verifying the security of cryptographic protocols
1 points | 0 comments

Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass
74 points | 34 comments