Function Argument Nullability Using an LLM (Galois blog)
Published:
Galois blog post: Link
Blog posts
2024
Generative AI for Specifications (Galois blog)
Published:
Galois blog post: Link
Galois / Twisp: Avoiding Foolishness in Distributed Systems (Galois blog)
Published:
Galois blog post: Link
2023
The Impact of Provable Security: AWS and Supranational (Galois blog)
Published:
Galois blog post: Link
2021
Building a Concurrency Verifier Using Crucible (Galois blog)
Published:
Galois blog post: Link
Who is verifying their cryptographic protocols? (Galois blog)
Published:
Galois blog post: Link
QUIC Testing, a Quick Replication (Galois blog)
Published:
Galois blog post: Link
2020
Proofs Should Repair Themselves (Galois blog)
Published:
Galois blog post: Link