| 2019 | Leveraging Physical Access Logs to Identify Tailgating: Limitations and Solutions. | Carmen Cheh, Uttam Thakore, Binbin Chen, William G. Temple, William H. Sanders |
| 2019 | Fast Local VM Migration Against Hypervisor Corruption. | Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2019 | Towards Quantification of Assurance for Learning-Enabled Components. | Erfan Asaadi, Ewen Denney, Ganesh Pai |
| 2019 | Enabling Security-by-Design in Smart Grids: An Architecture-Based Approach. | Helder Aranha, Massimiliano Masi, Tanja Pavleska, Giovanni Paolo Sellitto |
| 2019 | Approximation of the Time Alignment Error for Measurements in Electricity Grids. | Imad Antonios, Hans-Peter Schwefel, Lester Lipsky |
| 2019 | Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices. | Imanol Allende, Nicholas Mc Guire, Jon Prez, Lisandro Gabriel Monsalve, Nerea Uriarte, Roman Obermaisser |
| 2019 | An Experimental Study of Software Aging and Rejuvenation in Dockerd. | Matheus Torquato, Marco Vieira |
| 2019 | A Hierarchical Model for Virtualized Data Center Availability Evaluation. | Matheus Torquato, Erico A. C. Guedes, Paulo R. M. Maciel, Marco Vieira |
| 2018 | Towards a Formal Approach to Analysing Security of Safety-Critical Systems. | Inna Vistbakka, Elena Troubitsyna |
| 2018 | Detecting Network Threats using OSINT Knowledge-Based IDS. | Ivo Vacas, Iberia Medeiros, Nuno Neves |
| 2018 | Accurate Robustness Assessment of HDL Models Through Iterative Statistical Fault Injection. | Ilya Tuzov, David de Andrs, Juan Carlos Ruiz |
| 2018 | Towards Safety-Awareness and Dynamic Safety Management. | Mario Trapp, Daniel Schneider, Gereon Weiss |
| 2018 | Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. | Dimitry Solet, Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Sbastien Pillement |
| 2018 | A Re-Identification Risk-Based Anonymization Framework for Data Analytics Platforms. | Hebert de Oliveira Silva, Tnia Basso, Regina Moraes, Donatello Elia, Sandro Fiore |
| 2018 | A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection. | Behrooz Sangchoolie, Peter Folkesson, Jonny Vinter |
| 2018 | Simulation of Stochastic Blockchain Models. | Pierre-Yves Piriou, Jean-Francois Dumas |
| 2018 | A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. | Lucas Bressan, Andr Luz de Oliveira, Leonardo Montecchi, Barbara Gallina |
| 2018 | An Efficient Strategy for Model Composition in the Mbius Modeling Environment. | Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, Brett Feddersen, William H. Sanders |
| 2018 | A Proactive Q-Learning Approach for Autoscaling Heterogeneous Cloud Servers. | Federico Lombardi |
| 2018 | A Message-Passing Based Algorithm for k-Terminal Reliability. | Minh L, Josef Weidendorfer |
| 2018 | Optimal Deployment of Security Policies: Application to Industrial Control Systems. | Ziad Ismail, Jean Leneutre, Alia Fourati |
| 2018 | Resource-Efficient State-Machine Replication with Multithreading and Vertical Scaling. | Gerhard Habiger, Franz J. Hauck, Johannes Kstler, Hans P. Reiser |
| 2018 | A Context-Aware, Confidence-Disclosing and Fail-Operational Dynamic Risk Assessment Architecture. | Patrik Feth, Rasmus Adler, Daniel Schneider |
| 2018 | Contextual Anomaly Detection for a Critical Industrial System Based on Logs and Metrics. | Mostafa Farshchi, Ingo Weber, Raffaele Della Corte, Antonio Pecchia, Marcello Cinque, Jean-Guy Schneider, John C. Grundy |
| 2018 | Runtime Verification of Ethereum Smart Contracts. | Joshua Ellul, Gordon J. Pace |