SRI Logo
 Computer Science Laboratory
  Contact
+People at CSL
-Projects at CSL
 -Active Networks Test Environment (ACTIVATE)
 -Adaptable Network Control and Reporting System (ANCORS)
 -Agile Management of Dynamic Collaboration
 -Artifactory
 -Autonomous Negotiating Teams (ANT)
 -Bio Informatics
 -Bixie
 -Common Authentication Protocol Specification Language (CAPSL)
 -Compositional Abstraction and Refinement for Aspects (CARA)
 -Correlated Attack Modeling (CAM)
 -Cyber-Threat Analytics (Cyber-TA)
 -Cybersecurity Experimentation of the Future (CEF)
 -DARPA Agent Markup Language (DAML)
 -Dependable Intrusion Tolerance (DIT)
 -Detection and Analysis of Threats to the Energy Sector
 -Detection and Analysis of Threats to the Energy Sector (DATES)
 -Dynamic Dependability Gauges (DASADA)
 -eBayes
 -Enclaves
 -Evaluation Methods for Internet Security Technology (EMIST)
 -Event Monitoring Enabling Responses to Anomalous Live Disturbances (EMERALD)
 -Formal Composition Technology for Time-Triggered Systems
 -Genesis of Cyberscience
 -Integrated Canonizer and Solver (ICS)
 -Internet of Things Security and Privacy Center (IoTSPC)
 -Intrusion Tolerance for NEST
 -Intrusion Tolerant Architectures
 -Maude
 -Mobile Maude
 -Molecular Electronics
 -Network Embedded Systems Technology (NEST)
 -Next Generation (XG)
 -Next-Generation Intrusion-Detection Expert System (NIDES)
 -ONISTT
 -Pathway Logic
 -PHD: Predicting Health and Disease (PHD)
 -Principles and Foundations for Fractionated Networked Cyber-Physical Systems
 -Process Control Systems Security
 -Prototype Verification System (PVS)
 -Public Key Infrastructure (PKI)
 -Secure Access Wrapper (SAW)
 -Semantically Enabled Automated Assessment in Virtual Environments (SAVE)
 -Sensor Coordination using Active Dataspaces
 -Sharing Expertise and Artifacts for Reuse through Cybersecurity Community Hub (SEARCCH)
 -Symbolic Analysis Laboratory (SAL)
 -Trusted Interoperation of Healthcare Information (TIHI)
 -Trusted Interoperation of Heterogeneous Autonomous Databases
 -Virtualized Execution Realizing Network Infrastructures Enhancing Reliability (VERNIER)
+Research Programs
 Division Home
 About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

 Molecular Electronics

Here's a nice group photo of the team:


Principal Investigator: Staff Members:
Papers:
  













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy