kyboren's submissions

1.		Robbing the bank with a theorem prover (2005) [pdf] (cam.ac.uk)
		2 points by kyboren on March 29, 2024 \| past \| 1 comment
2.		SS7 Software Shop – Buy SS7 Services and Software (ss7.dev)
		3 points by kyboren on Jan 1, 2021 \| past \| 1 comment
3.		Burr-Feinstein Draft Bill to Compel Decryption And/or “Technical Assistance” [pdf] (justsecurity.org)
		4 points by kyboren on April 8, 2016 \| past
4.		Synthesize Scala Programs from Formal Constraints (epfl.ch)
		2 points by kyboren on Dec 10, 2015 \| past
5.		Deal Reached on Fast-Track Authority for TPP (nytimes.com)
		5 points by kyboren on April 16, 2015 \| past
6.		Cameron Announces GCHQ Hunt for Online Paedophiles (theguardian.com)
		3 points by kyboren on Dec 11, 2014 \| past
7.		Give the man who saved Timbuktu's manuscripts the Presidential Medal of Freedom (whitehouse.gov)
		1 point by kyboren on Feb 6, 2013 \| past
8.		Qubes OS 1.0 RC1 Released (qubes-os.org)
		1 point by kyboren on Aug 29, 2012 \| past
9.		Nokia Preparing to File for Bankruptcy
		2 points by kyboren on July 11, 2012 \| past