• Skip to primary navigation
  • Skip to main content
SRI InternationalSRI mobile logo

SRI International

SRI International - American Nonprofit Research Institute

  • About
    • Blog
    • Press room
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Show Search
Hide Search
October 21, 2021

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.

William Mark

President, Information and Computing Sciences

Patrick Lincoln

Vice President, Information and Computing Sciences Director, Computer Science Laboratory

Contact Us

Featured researchers

patrick-lincoln-bio-pic

Patrick Lincoln

Vice President, Information and Computing Sciences Director, Computer Science Laboratory

ulf-lindqvist-bio-pic

Ulf Lindqvist

Senior Technical Director, Computer Science Laboratory

peter-neumann-bio-pic

Peter Neumann

Principal Scientist, Computer Science Laboratory

Our work

more +

DOE announces $1.9 million to NYU and SRI to develop TRAPS program

April 25, 2022

TRAPS seeks to detect and localize anomalies in power grid cyber-physical systems

SRI leads collaborative effort that uncovered cybersecurity issues in industrial control system safety instrumentation and management

June 2, 2021

SRI worked with penetration testers and LOGIIC safety system experts to improve overall security of ICS safety systems

discussing-logiic-project-12-safety-instrumentation-feat-img

Discussing LOGIIC Project 12 – Safety Instrumentation

May 12, 2021

Ulf Lindqvist and Laura Tinnel of SRI International discuss the recent LOGIIC report on the (in)security of safety instrumentations systems

Focus areas

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.

Cyber security

We improve the security of critical infrastructures that support power grids, refineries, financial systems, telecommunications and the Internet.

Formal methods

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.

Cyberspace operations

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.

Our privacy policy
Career call to action image

Make your own mark.

Search jobs
Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Blog

Institute

Leadership

Press room

Media inquiries

Compliance

Privacy policy

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter

日本支社

SRI International

  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International