| | Proofs Should Repair Themselves (galois.com) |
| 115 points by harperlee on Feb 25, 2021 | past | 27 comments |
|
| | Automated Reasoning as an Annoying Child (galois.com) |
| 29 points by lelf on Feb 24, 2021 | past | 1 comment |
|
| | Proofs Should Repair Themselves (galois.com) |
| 2 points by shpat on Dec 9, 2020 | past |
|
| | Crux: Our new open-source tool for software verification (galois.com) |
| 3 points by onlydnaq on Oct 27, 2020 | past |
|
| | Crux: Exhaustive symbolic testing for C, C++, and Rust (galois.com) |
| 1 point by fanf2 on Oct 10, 2020 | past |
|
| | 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 |
|
|
| More |
