FingerCI: Writing industrial process specifications from network traffic.
Int. J. Crit. Infrastructure Prot., 2024
FingerCI: generating specifications for critical infrastructures.
Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022
ComSEC: Secure Communications for Baggage Handling Systems.
Proceedings of the Computer Security. ESORICS 2022 International Workshops, 2022