| 2020 | A hierarchical fault tolerant architecture for an autonomous robot. | Anthony Favier, Antonin Messioux, Jrmie Guiochet, Jean-Charles Fabre, Charles Lesire |
| 2020 | SIMBA: An Efficient Simulator for Blockchain Applications. | Seyed Mehdi Fattahi, Adetokunbo Makanju, Amin Milani Fard |
| 2020 | Simulating Reliability of IoT Networks with RelIoT. | Kazim Ergun, Xiaofan Yu, Nitish Nagesh, Ludmila Cherkasova, Pietro Mercati, Raid Ayoub, Tajana Rosing |
| 2020 | Service-Based Resilience for Embedded IoT Networks. | Doganalp Ergenc, Jacek Rak, Mathias Fischer |
| 2020 | Conceptual Design of Human-Drone Communication in Collaborative Environments. | Hans Dermot Doran, Monika Reif, Marco Oehler, Curdin Sthr, Pierluigi Capone |
| 2020 | iScanU: A Portable Scanner for Undocumented Instructions on RISC Processors. | Rens Dofferhoff, Michael Gbel, Kristian F. D. Rietveld, Erik van der Kouwe |
| 2020 | 6th International Workshop on Safety and Security of Intelligent Vehicles - SSIV 2020. | Joo Carlos Cunha, Kalinka Branco, Michal Lauer |
| 2020 | ProFIPy: Programmable Software Fault Injection as-a-Service. | Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella |
| 2020 | HardSnap: Leveraging Hardware Snapshotting for Embedded Systems Security Testing. | Nassim Corteggiani, Aurlien Francillon |
| 2020 | Safeguarding Data Consistency at the Edge. | Cludio Correia |
| 2020 | Omega: a Secure Event Ordering Service for the Edge. | Cludio Correia, Miguel Correia, Lus Rodrigues |
| 2020 | Online Payments by Merely Broadcasting Messages. | Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis |
| 2020 | Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling. | Haotian Chi, Qiang Zeng, Xiaojiang Du, Jiaping Yu |
| 2020 | CATI: Context-Assisted Type Inference from Stripped Binaries. | Ligeng Chen, Zhongling He, Bing Mao |
| 2020 | JSKernel: Fortifying JavaScript against Web Concurrency Attacks via a Kernel-Like Structure. | Zhanhao Chen, Yinzhi Cao |
| 2020 | What Exactly Determines the Type? Inferring Types with Context. | Ligeng Chen |
| 2020 | Cross-Layer Soft-Error Resilience Analysis of Computing Systems. | Alberto Bosio, Ramon Canal, Stefano Di Carlo, Dimitris Gizopoulos, Alessandro Savino |
| 2020 | From Byzantine Replication to Blockchain: Consensus is Only the Beginning. | Alysson Bessani, Eduardo Alchieri, Joo Sousa, Andr Oliveira, Fernando Pedone |
| 2020 | Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. | Martn Barrre, Chris Hankin |
| 2020 | Fundamental Challenges of Cyber-Physical Systems Security Modeling. | Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming |
| 2020 | A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems. | Soheila Sheikh Bahaei |
| 2020 | AI and Reliability Trends in Safety-Critical Autonomous Systems on Ground and Air. | Jyotika Athavale, Andrea Baldovin, Ralf Graefe, Michael Paulitsch, Rafael Rosales |
| 2020 | Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory. | Samantha Archer, Georgios Mappouras, A. Robert Calderbank, Daniel J. Sorin |
| 2020 | Development of a NOEL-V RISC-V SoC Targeting Space Applications. | Jan Andersson |
| 2020 | Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma. | Maher Alharby, Roben Castagna Lunardi, Amjad Aldweesh, Aad van Moorsel |