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.
-
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
-
New Cyberlearning Research Publication Highlights Possibilities for Enhanced Learning with Technology
In the field of education research, a core focus has been the impact of digital learning technologies in K-12 and higher education settings – and SRI’s Education Division has been at the forefront of much of that research.
-
Cyberlearning ‘16 Tackles Designs for Deeper, Broader, and More Equitable Learning
The 5th annual Cyberlearning meeting, recently held in Arlington, VA, engaged more than 180 NSF-funded researchers, educators and other attendees,
-
Investigators Chart New Frontiers at Cyberlearning 2015
A group of more than 150 research-based leaders in learning and technology participated in Cyberlearning 2015 …