| | SAW: Software Analysis Workbench and Formal Verification Tool (galois.com) |
|
2 points by Cieplak on Jan 7, 2018 | past
|
|
| | Formal Methods and the KRACK Vulnerability (galois.com) |
|
2 points by signa11 on Oct 24, 2017 | past
|
|
| | Formal verification and the KRACK vulnerability (galois.com) |
|
2 points by shpat on Oct 19, 2017 | past
|
|
| | Matterhorn Experience Report (MatterMost client) (galois.com) |
|
1 point by sea6ear on May 24, 2017 | past
|
|
| | LandHere (galois.com) |
|
94 points by colinprince on April 16, 2017 | past | 17 comments
|
|
| | The LandHere architecture (galois.com) |
|
2 points by panic on April 11, 2017 | past
|
|
| | 2017 Summer School – Probabilistic Programming for Advancing Machine Learning (galois.com) |
|
2 points by ewoldridge on March 28, 2017 | past
|
|
| | Probabilistic Programming Summer School Announcement (galois.com) |
|
1 point by ewoldridge on Feb 25, 2017 | past
|
|
| | Formal verification of Amazon's s2n SSL/TLS library (galois.com) |
|
25 points by NathanCollins on Sept 22, 2016 | past | 6 comments
|
|
| | Formally verifying HMAC in Amazon's s2n library (galois.com) |
|
8 points by shpat on Sept 6, 2016 | past
|
|
| | Undirector of Engineering: A quick look at how we organize ourselves at Galois (galois.com) |
|
1 point by tikhonj on July 1, 2016 | past
|
|
| | Developing Erlang at Yahoo (2008) [pdf] (galois.com) |
|
60 points by cpeterso on May 22, 2016 | past | 12 comments
|
|
| | Probabilistic Programming Summer School Announcement (galois.com) |
|
3 points by superfx on Feb 8, 2016 | past
|
|
| | Applying Satisfiability to the Analysis of Cryptography (galois.com) |
|
13 points by tommd on Sept 28, 2015 | past | 3 comments
|
|
| | Using SAW and Cryptol to Verify the TweetNACL Primitives in Minilock (galois.com) |
|
2 points by zmanian on June 28, 2015 | past
|
|
| | SAW – Software Analysis Workbench Open-Sourced (galois.com) |
|
9 points by tom_mellior on June 14, 2015 | past | 1 comment
|
|
| | SAW - The Software Analysis Workbench (galois.com) |
|
1 point by fcambus on June 12, 2015 | past
|
|
| | Software Analysis Workbench (galois.com) |
|
1 point by jonnybgood on June 10, 2015 | past
|
|
| | The Software Analysis Workbench Is Now Open Source (galois.com) |
|
5 points by _ugfj on June 10, 2015 | past
|
|
| | Darpa Probabilistic Programming Summer School 2015 (galois.com) |
|
1 point by superfx on Feb 9, 2015 | past
|
|
| | Probabilistic Programming for Advancing Machine Learning (galois.com) |
|
76 points by z3phyr on Feb 7, 2015 | past | 12 comments
|
|
| | Hacking Internet Voting via Ballot Tampering (galois.com) |
|
2 points by dthal on Nov 12, 2014 | past
|
|
| | Modifying an Off-the-Shelf Wireless Router for PDF Ballot Tampering [pdf] (galois.com) |
|
25 points by CapitalistCartr on Nov 11, 2014 | past | 2 comments
|
|
| | Why Xen? (galois.com) |
|
3 points by lelf on Sept 29, 2014 | past
|
|
| | Databases are categories [pdf] (galois.com) |
|
1 point by DanielRibeiro on April 26, 2014 | past
|
|
| | Cryptol version 2 released (and open sourced) (galois.com) |
|
1 point by lelf on April 25, 2014 | past
|
|
| | Heartbleed: A great time to think about incident response (galois.com) |
|
1 point by lelf on April 11, 2014 | past
|
|
| | HaLVM 2.0 Developer's Release (galois.com) |
|
1 point by vimes656 on Oct 20, 2013 | past
|
|
| | Fast and formally verified C implementation of Base64 (galois.com) |
|
106 points by lelf on Sept 16, 2013 | past | 40 comments
|
|
| | Cryptol a DSL for implementing cryptographic algorithms in silicon (galois.com) |
|
2 points by pelle on March 7, 2013 | past
|
|
|
|
More |
