Hacker News new | past | comments | ask | show | jobs | submit | from login
You Are Rolling Your Own Crypto (galois.com)
4 points by zdw 3 months ago | past
Real-Time Robotics Control in the Lean Language (galois.com)
2 points by exdsq 3 months ago | past
Actually, You Are Rolling Your Own Crypto (galois.com)
1 point by shpat 4 months ago | past
Using Cryptol to analyze parts of the QUIC spec (galois.com)
2 points by jldodds 4 months ago | past
Proofs Should Repair Themselves (galois.com)
115 points by harperlee 5 months ago | past | 27 comments
Automated Reasoning as an Annoying Child (galois.com)
29 points by lelf 5 months ago | past | 1 comment
Proofs Should Repair Themselves (galois.com)
2 points by shpat 7 months ago | past
Crux: Our new open-source tool for software verification (galois.com)
3 points by onlydnaq 9 months ago | past
Crux: Exhaustive symbolic testing for C, C++, and Rust (galois.com)
1 point by fanf2 9 months ago | past
The ‘blst’ BLS verification project (galois.com)
1 point by todsacerdoti 10 months ago | past
What4: A library to help build verification and program analysis tools (galois.com)
56 points by lelf 12 months ago | 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

Applications are open for YC Winter 2022

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: