Computer Science Laboratory
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.
-
Ashish Gehani named 2025 SRI Fellow
Senior principal computer scientist recognized for contributions in cybersecurity and trustworthy systems.
-
Ulf Lindqvist on AI and cybersecurity
Speaking to Information Week, SRI’s Ulf Lindqvist explained AI’s role in empowering cyber defenders to confront emerging threats.
-
Can we put a hospital on wheels?
SRI is working on a mobile healthcare platform that aims to improve healthcare access and health outcomes across rural America.
-
SRI researchers tap Large Language Models to improve password security
Using advanced AI to analyze billions of leaked passwords, SRI researchers reveal the risky human tendencies that make passwords far too easy to guess.
-
Karen Myers: When I introduced Flakey the Robot to Alan Alda
The head of SRI’s AI Center recalls when the TV star and science-communications expert visited SRI to learn more about our extraordinary work in robotics.
-
Patrick Lincoln: I often feel like work isn’t even work
An SRI vice president and director of the Computer Science Lab explains why he’s spent much of his career at SRI: the people.
-
Solving “unsolvable” math challenges with quantum-inspired computers
SRI researchers hope to compete with quantum computing by applying new algorithms to map large problems onto faster, more energy-efficient photonic circuitry.
-
SRI’s FHE accelerator design strengthens security of outsourced data processing
Closing the gap between privacy and computation time.
-
SRI International spearheads two groundbreaking efforts to secure 5G
Deep-tech pioneer addresses 5G network security by leveraging its unique intellectual property and research, extensive experience and relationships with its spinout companies
-
SRI leads collaborative effort that uncovered cybersecurity issues in industrial control system safety instrumentation and management
SRI worked with penetration testers and LOGIIC safety system experts to improve overall security of ICS safety systems
-
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
-
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