| | The ‘blst’ BLS verification project (galois.com) |
| 1 point by todsacerdoti on Sept 17, 2020 | past |
|
| | What4: A library to help build verification and program analysis tools (galois.com) |
| 56 points by lelf on July 30, 2020 | past | 2 comments |
|
| | Measuring the Privacy of Computations (galois.com) |
| 3 points by jmct on July 14, 2020 | past |
|
| | Galois 2019 Year in Review (galois.com) |
| 2 points by luu on July 10, 2020 | past |
|
| | The Collaborative Web – How Galois Is Organised [pdf] (galois.com) |
| 2 points by jsty on Aug 2, 2019 | past |
|
| | Protecting Election Integrity with ElectionGuard (galois.com) |
| 3 points by lelf on May 6, 2019 | past |
|
| | Protecting Applications with Automated Software Diversity (galois.com) |
| 1 point by eu90h on Sept 10, 2018 | past | 1 comment |
|
| | C2rust – C to Rust translation, refactoring, and cross-checkin (galois.com) |
| 4 points by yarapavan on Aug 20, 2018 | past | 2 comments |
|
| | 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 |
|
|
| More |
