Dr. Bruno Dutertre Staff Scientist SRI International Room EL 286 333 Ravenswood Avenue Menlo Park, CA, 94025 USA Phone: +1 (650) 859-2717 Fax:+1 (650) 859-2844 Email: bruno@csl.sri.com Personal Home Page: http://www.csl.sri.com/~bruno/ Projects: Autonomous Negotiating Teams (ANT) Dependable Intrusion Tolerance (DIT) Dynamic Dependability Gauges (DASADA) Enclaves Genesis of Cyberscience Intrusion Tolerance for NEST Intrusion Tolerant Architectures Next Generation (XG) Process Control Systems Security Past Projects: Detection and Analysis of Threats to the Energy Sector (DATES) Papers: Using Model-based Intrusion Detection for SCADA Networks  (2007) Detecting Disruptive Routers in Wireless Sensor Networks  (2006) Lightweight Key Management in Wireless Sensor Networks by Leveraging Initial Trust  (2004) An Architecture for an Adaptive Intrusion Tolerant Server  (2002) Dynamic Scan Scheduling  (2002) Intrusion-Tolerant Enclaves  (2002) Intrusion-Tolerant Group Management in Enclaves  (2001) Intrusion Tolerant Software Architectures  (2001) Formal analysis for realtime scheduling  (2000) Formal Analysis of the Priority Ceiling Protocol  (2000) Scan Scheduling Specification and Analysis  (2000) The Priority Ceiling Protocol: Formalization and Analysis Using PVS  (1999) A Model of Noninterference for Integrating Mixed-Criticality Software Components  (1999) Using a PVS Embedding of CSP to Verify Authentication Protocols  (1997) Formal Requirements Analysis of an Avionics Control System  (1997) Elements of Mathematical Analysis in PVS  (1996) Avionics Systems Requirements: A Comparison of RSML and SCR A Formalization of Software Architecture Complete Proof Systems for First Order Interval Temporal Logic Requirements Analysis of Real-Time Control Systems using PVS

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