Cyber & formal methods
SRI builds, assesses and defends vital computer systems that affect all of our lives. We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.
Our workView more
In the news May 9, 2021
Cyberattack forces shutdown of a top U.S. pipeline
The New York Times asks SRI's Ulf Linquist to comment on the recent ransomware attack on one of our nations largest pipelines
Innovation April 28, 2021
Active forensics to defend against cyber grid blackouts
SRI-led team designed a standalone technology called TIGR that uses sensors and machine learning to diagnose and respond to cyber attacks against utilities
Press release March 8, 2021
SRI International awarded $11.5 million DARPA contract to accelerate fully homomorphic encryption
A practical fully homomorphic encryption capability could secure data being processed on, and sent to, untrusted clouds
SRI’s Computer Science Laboratory develops leading-edge tools and methods for areas including computer security, high-assurance systems, advanced user interfaces, computer networking, robotics, biotechnology and nanotechnology.
We improve the security of critical infrastructures that support power grids, refineries, financial systems, telecommunications and the Internet.
SRI is a world leader in formal verification of computer systems. We build and offer specifications for high-assurance systems software and hardware.
Bioinformatics and computational biology
We apply computational methods to study and develop tools, software, databases and ontologies to manage and analyze high-throughput, heterogeneous biological data.
We develop solutions that enable computer network attack, computer network exploitation, and intelligence, surveillance and reconnaissance (ISR) missions.
How can we help?
Once you hit send…
We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.