• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • 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
  • 日本支社
Search
Close

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.

CONTACT US

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.

Our work

more +
  • Solving “unsolvable” math challenges with quantum-inspired computers
    March 27, 2023

    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
    November 16, 2022

    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
    September 20, 2022

    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

Latest publications

more +
  • November 1, 2020

    Deductive Synthesis of the Unification Algorithm: The Automation of Introspection

    We are working to create the first automatic deductive synthesis of a unification algorithm. The program is extracted from a proof of the existence of an output substitution that satisfies a given logical specification.

  • April 1, 2017

    Semantic Instrumentation of Virtual Environments for Training

    We discuss an approach in which the virtual environment is semantically instrumented in order to allow for the tracking of and reasoning about open-ended learner activity therein.

  • January 1, 2016

    Diagnosis cloud: Sharing knowledge across cellular networks

    This paper presents a novel diagnosis cloud framework that enables the extraction and transfer of knowledge from one network to another. It also presents use cases and requirements. We present the implementation details of the diagnosis cloud framework for two specific types of models: topic models and Markov Logic Networks (MLNs).

  • October 1, 2015

    Keys Under Doormats

    In this report, a group of computer scientists and security experts, many of whom participated in a 1997 study of these same topics, has convened to explore the likely effects of imposing extraordinary access mandates.

  • June 1, 2015

    Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery

    We have demonstrated how combining chemoinformatics and bioinformatics for T. cruzi drug discovery can bring interesting in vivo active molecules to light that may have been overlooked.

  • May 1, 2015

    Weakness in Depth: A Voting Machine’s Demise

    Virginia’s government recently examined the AVS WinVote and learned that the vulnerabilities are more serious than any other voting system, allowing complete exploitation over a Wi-Fi network.

Cyber and formal methods leadership

william-mark-bio-pic

William Mark

President, Information and Computing Sciences

patrick-lincoln-bio-pic

Patrick Lincoln

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

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

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.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

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
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International