| | What Works (and Doesn't) Selling Formal Methods (galois.com) |
|
2 points by matt_d 3 days ago | past | discuss
|
|
| | Grease: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code (galois.com) |
|
116 points by thinkmoore 54 days ago | past | 12 comments
|
|
| | You are rolling your own crypto (galois.com) |
|
3 points by fanf2 10 months ago | past
|
|
| | Galois Open Sources Yapall – Yet Another Pointer Analysis for LLVM (galois.com) |
|
2 points by p4bl0 on Oct 7, 2023 | past
|
|
| | Formal methods and AI: Where does Galois fit in? (galois.com) |
|
2 points by shpat on April 17, 2023 | past
|
|
| | A Visual Guide to Pointer Analysis with Cclyzer++: Part 2 (galois.com) |
|
1 point by thinkmoore on Aug 31, 2022 | past | 1 comment
|
|
| | MATE: Interactive Program Analysis with Code Property Graphs (galois.com) |
|
2 points by p4bl0 on Aug 27, 2022 | past
|
|
| | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
|
9 points by homarp on Aug 26, 2022 | past
|
|
| | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
|
2 points by woodruffw on Aug 25, 2022 | past
|
|
| | Mate: Interactive Program Analysis with Code Property Graphs (galois.com) |
|
13 points by shpat on Aug 24, 2022 | past | 2 comments
|
|
| | Should It Be Easier to Trust Machines or Harder to Trust Humans? (galois.com) |
|
2 points by shpat on Dec 16, 2021 | past
|
|
| | Room for Disagreement (galois.com) |
|
2 points by shpat on Nov 9, 2021 | past
|
|
| | You Already Know Formal Methods (galois.com) |
|
87 points by azhenley on Oct 14, 2021 | past | 13 comments
|
|
| | You Are Rolling Your Own Crypto (galois.com) |
|
4 points by zdw on April 17, 2021 | past
|
|
| | Real-Time Robotics Control in the Lean Language (galois.com) |
|
2 points by exdsq on March 30, 2021 | past
|
|
| | Actually, You Are Rolling Your Own Crypto (galois.com) |
|
1 point by shpat on March 16, 2021 | past
|
|
| | Using Cryptol to analyze parts of the QUIC spec (galois.com) |
|
2 points by jldodds on March 5, 2021 | past
|
|
| | 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
|
|
|
|
More |
