recentpopularlog in


« earlier   
Factoring the Noise protocol matrix
"So far, the right answer for a safe transport has almost always been TLS, perhaps mutually authenticated. That’s not going to change right away, but if you control both sides of the network and you need properties hard to get out of TLS, Noise is definitely The Right Answer. Just don’t stare at the eldritch rune matrix too long. You probably want Noise_IK."
security  cryptography  signal  reference 
yesterday by mechazoidal
High-level, certified cryptography implementations in Coq
Coq  cryptography 
2 days ago by zaprice

Copy this bookmark:

to read