Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]ironsides.martincarlisle.com·38 pts·makira·1
Show HN: ChaCha20nosat, a symmetric cipher that resists being put into SAT formkilncore.space·1 pts·makira·0
With Mars Methane Mystery Unsolved, Curiosity Serves Scientists a New One:Oxygennasa.gov·3 pts·makira·0
Provably Secure DNS: A Case Study in Reliable Software (2013) [pdf]ironsides.martincarlisle.com·2 pts·makira·0