| 2023 | TagClass: A Tool for Extracting Class-Determined Tags from Massive Malware Labels via Incremental Parsing. | Yongkang Jiang, Gaolei Li, Shenghong Li |
| 2023 | ReFace: Adversarial Transformation Networks for Real-time Attacks on Face Recognition Systems. | Shehzeen Hussain, Todd Huster, Chris Mesterharm, Paarth Neekhara, Farinaz Koushanfar |
| 2023 | Fabricated Flips: Poisoning Federated Learning without Data. | Jiyue Huang, Zilong Zhao, Lydia Y. Chen, Stefanie Roos |
| 2023 | Tutorial: Using the seL4 Microkernel. | Gernot Heiser, Ivan Velickovic |
| 2023 | SHATTER: Control and Defense-Aware Attack Analytics for Activity-Driven Smart Home Systems. | Nur Imtiazul Haque, Maurice Ngouen, Mohammad Ashiqur Rahman, A. Selcuk Uluagac, Laurent Njilla |
| 2023 | Exploring the Environmental Benefits of In-Process Isolation for Software Resilience. | Merve Glmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mhlberg |
| 2023 | Rewind & Discard: Improving Software Resilience using Isolated Domains. | Merve Glmez, Thomas Nyman, Christoph Baumann, Jan Tobias Mhlberg |
| 2023 | An Automotive Cybersecurity Maturity Level Assessment Programme. | Patrick Grmer, Pedro Brando |
| 2023 | Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced AI Models based on Machine Learning. | Janek Gro, Michael Kls, Lisa Jckel, Pascal Gerber |
| 2023 | Large-Scale Application of Fault Injection into PyTorch Models -an Extension to PyTorchFI for Validation Efficiency. | Ralf Grfe, Syed Sha Qutub, Florian Geissler, Michael Paulitsch |
| 2023 | Intrusion Injection for Virtualized Systems: Concepts and Approach. | Charles F. Gonalves, Nuno Antunes, Marco Vieira |
| 2023 | Quantum Computing Reliability: Problems, Tools, and Potential Solutions. | Edoardo Giusto, Emanuele Dri, Bartolomeo Montrucchio, Betis Baheri, Qiang Guan, Devesh Tiwari, Paolo Rech |
| 2023 | Multi-Objective Optimization for an Online Re-Planning of Autonomous Vehicles. | Kilian Le Gall, Laurent Lemarchand, Catherine Dezan |
| 2023 | Tailoring and Verification of the Trust Boundaries in a Heterogeneous TEE Landscape. | Anna Galanou |
| 2023 | Skynet: a Cyber-Aware Intrusion Tolerant Overseer. | Tadeu Freitas, Joo Soares, Manuel Eduardo Correia, Rolando Martins |
| 2023 | Data Shower in Electronics Manufacturing: Measuring Wi-Fi 4, Wi-Fi 6, and 5G SA behavior in production assembly lines. | Gabriel Fr, Bilgehan Erman, Catello Di Martino |
| 2023 | Automating Vulnerability Management in the Software Development Lifecycle. | Horacio L. Frana, Csar Alexandre Teixeira, Nuno Laranjeiro |
| 2023 | SIMoT: A Low-fidelity Orchestrator Simulator for Task Allocation in IoT Devices. | Tiago Fragoso, David Silva, Joo Pedro Dias, Andr Restivo, Hugo Sereno Ferreira |
| 2023 | Preliminary Risk and Mitigation Assessment in Cyber-Physical Systems. | Andrs Fldvri, Francesco Brancati, Andrs Pataricza |
| 2023 | Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems. | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
| 2023 | Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. | Carlos Mo de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins |
| 2023 | Formalizing Model Inference of MicroPython. | Carlos Mo de Ferro, Tiago Cogumbreiro, Francisco Martins |
| 2023 | SecDDR: Enabling Low-Cost Secure Memories by Protecting the DDR Interface. | Ali Fakhrzadehgan, Prakash Ramrakhyani, Moinuddin K. Qureshi, Mattan Erez |
| 2023 | Diagnosing applications' I/O behavior through system call observability. | Tnia Esteves, Ricardo Macedo, Rui Oliveira, Joo Paulo |
| 2023 | Heron: Scalable State Machine Replication on Shared Memory. | Mojtaba Eslahi-Kelorazi, Long Hoang Le, Fernando Pedone |