Abstract is missing.
- In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant BitsJuan Carlos Ruiz, David de Andrés, Luis J. Saiz-Adalid, Joaquin Gracia-Moran. 3-17 [doi]
- A Failure Model Library for Simulation-Based Validation of Functional SafetyTiziano Munaro, Irina Muntean, Alexander Pretschner. 18-32 [doi]
- Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle SoftwareAnna Schmedding, Philip Schowitz, Xugui Zhou, Yiyang Lu, Lishan Yang, Homa Alemzadeh, Evgenia Smirni. 33-48 [doi]
- Reconciling Safety Measurement and Dynamic AssuranceEwen Denney, Ganesh Pai. 51-67 [doi]
- Safety Invariant Engineering for Interlocking VerificationAlexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky. 68-83 [doi]
- Assurance Case Synthesis from a Curated Semantic TriplestoreSaswata Paul, Baoluo Meng, Kit Siu, Abha Moitra, Michael Durling. 84-99 [doi]
- CyberDS: Auditable Monitoring in the CloudLev Sorokin, Ulrich Schöpp. 100-115 [doi]
- Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging MishapPhilip Koopman. 119-133 [doi]
- Comprehensive Change Impact Analysis Applied to Advanced Automotive SystemsNicholas Annable, Mehrnoosh Askarpour, Thomas Chiang, Sahar Kokaly, Mark Lawford, Richard F. Paige, S. Ramesh 0002, Alan Wassyng. 134-149 [doi]
- A Case Study of Continuous Assurance Argument for Level 4 Automated DrivingHideaki Kodama, Yutaka Matsuno, Toshinori Takai, Hiroshi Ota, Manabu Okada, Tomoyuki Tsuchiya. 150-165 [doi]
- TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-TrustAlberto Musa, Franco Volante, Emanuele Parisi, Luca Barbierato, Edoardo Patti, Andrea Bartolini, Andrea Acquaviva, Francesco Barchi. 169-183 [doi]
- A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles SystemJia Liu, Wenjun Fan, Yifan Dai, Eng Gee Lim, Alexei Lisitsa 0001. 184-199 [doi]
- Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis ToolsSilvia Bonomi, Stefano Cappai, Emilio Coppa. 200-217 [doi]
- Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set MetricsReza Soltani 0001, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga. 218-232 [doi]
- Coyan: Fault Tree Analysis - Exact and ScalableNazareno Garagiola, Holger Hermanns, Pedro R. D'Argenio. 235-250 [doi]
- Safety Argumentation for Machinery Assembly Control SoftwareJulieth Patricia Castellanos Ardila, Sasikumar Punnekkat, Hans Hansson, Peter Backeman. 251-266 [doi]
- Sound Non-interference Analysis for C/C++Daniel Kästner, Laurent Mauborgne, Sebastian Hahn 0001, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand. 267-282 [doi]
- A Dynamic Assurance Framework for an Autonomous Survey DronePhilippa Ryan, Sepeedeh Shahbeigi, Jie Zou, Ioannis Stefanakos, John Molloy. 285-299 [doi]
- Redefining Safety for Autonomous VehiclesPhilip Koopman, William H. Widen. 300-314 [doi]