Hey, NSA is quite big :-) I remember reading how one branch of NSA tasked with s...

		a-saleh on April 25, 2014 \| parent \| context \| favorite \| on: Cryptol DSL, a tool for writing correct crypto alg... Hey, NSA is quite big :-) I remember reading how one branch of NSA tasked with strenghtening of TOR crypto was angry at anothe branch of NSA that tried to covertly introduce vulnerabilities to it...