News


FILTER BY:
SEARCH:
Conferences
Human Factors
Highlights
Life at Galois
Critical Systems
Fintech
Semiconductors
Automotive
Healthcare
Aerospace & Defense
Advanced Cryptography & Privacy
Artificial Intelligence & Machine Learning
Software & Systems Analysis
Rigorous Digital Engineering
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.
No results found. Try adjusting your filters or search terms to see more news.

News

Announcing HealthyDocs: A Secure Solution for Healthcare Data Management

Read more
Advanced Cryptography & Privacy
Healthcare

News

Galois and Kry10 Complete Second UPGRADE Hackathon

Read more
Healthcare
Critical Systems
Rigorous Digital Engineering
Software & Systems Analysis
Artificial Intelligence & Machine Learning

News

CAMET Library is now FREE

Read more
Rigorous Digital Engineering

News

Galois Releases AADL Library for SysMLv2

Read more
Rigorous Digital Engineering

News

Galois Wraps Hackathon for ARPA-H Project on Hospital Cybersecurity

Read more
Healthcare
Rigorous Digital Engineering
Software & Systems Analysis
Artificial Intelligence & Machine Learning

News

Galois Releases SAW 1.5 and Cryptol 3.5.0

Read more
No items found.

News

Galois Releases New Versions of Verification Tools SAW and Cryptol

Read more
No items found.

News

Galois Releases Dioptra: An analytic tool for OpenFHE programs

Read more
Advanced Cryptography & Privacy

News

Galois Releases New Versions of Verification Tools SAW, Cryptol, and Crux

Read more
Software & Systems Analysis
Advanced Cryptography & Privacy

News

VOXLET Team Advances Speech Anonymization Technology

Read more
Artificial Intelligence & Machine Learning

News

Galois Awarded $12.6M by DARPA to support COOP Program

Read more
Advanced Cryptography & Privacy

News

Towards a verified Jolt zkVM

Read more
Advanced Cryptography & Privacy