| Issue Date | Title | Author(s) |
| 10-Jul-2021 | Analysing mission-critical cyber-physical systems with AND/OR graphs and MaxSAT | Barrere Cambrun, M; Hankin, C; |
| 1-Sep-2019 | Assessing cyber-physical security in industrial control systems | Barrère, M; Hankin, C; Eliades, DG; Nicolaou, N; Parisini, T, et al |
| 10-Jan-2019 | CPS-MT: a real-time cyber-physical system monitoring tool for security Research | Barrere Cambrun, M; Hankin, C; Barboni, A; Zizzo, G; Boem, F, et al |
| - | Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT | Barrere Cambrun, M; Hankin, C; |
| 12-May-2019 | Identifying security-critical cyber-physical components in industrial control systems | Barrère, M; Hankin, C; Nicolau, N; Eliades, DG; Parisini, T, et al |
| 1-Nov-2019 | MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs | Barrere Cambrun, M; Hankin, C; Nicolaou, N; Eliades, DG; Parisini, T, et al |
| 20-Aug-2020 | MaxSAT Evaluation 2020 - Benchmark: Identifying maximum probability minimal cut sets in fault trees | Barrere Cambrun, M; Hankin, C; Bacchus, F; Berg, J; Järvisalo, M, et al |
| 1-Jun-2020 | Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies | Barrere, M; Hankin, C; Nicolau, N; Eliades, D; Parisini, T, et al |
| 2020 | Trustworthy Inter-connected Cyber-Physical Systems | Hankin, C; Barrère, M; |