Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
HackRoom: A Pop Up Cyber Security Escape Room for Interactive Learning
Collins, S., Phanish, A., Modi, D., Mayne, J., Tabraham, M., Barson, T., Radiukov, V., Hegazy, Y., Fang, Y., Arnaboldi, L., Muench, M. & Ambridge, T. W., 30 Jan 2026, Advances in Teaching and Learning for Cyber Security Education: Proceedings of the Cyber Security Education 2025 CSE Connect Annual Conference. Legg, P., Coull, N., Clarke, C., Lallie, H. & Atlam, H. (eds.). 1 ed. Springer, p. 1-33 33 p. (Lecture Notes in Networks and Systems; vol. 1791 LNNS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile6 Downloads (Pure) -
From Bouncing Break-ins to Frictional Firewalls: Ideas About Interacting Requirements for Vehicle Safety and Security
Arnaboldi, L., Aspinall, D., Kolb, C. & Radomirović, S., 22 Aug 2025, Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops: CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings. Törngren, M., Gallina, B., Schoitsch, E., Troubitsyna, E. & Bitsch, F. (eds.). 1 ed. Springer, p. 88-100 13 p. (Lecture Notes in Computer Science; vol. 15955).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
NLP verification: towards a general methodology for certifying robustness
Casadio, M., Dinkar, T., Komendantskaya, E., Arnaboldi, L., Daggitt, M. L., Isac, O., Katz, G., Rieser, V. & Lemon, O., 2 Apr 2025, (E-pub ahead of print) In: European Journal of Applied Mathematics.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Vehicle: Bridging the embedding gap in the verification of neuro-symbolic programs
Daggitt, M. L., Kokke, W., Atkey, R., Komendantskaya, E., Slusarz, N. & Arnaboldi, L., 7 Jul 2025, 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025). Fernández, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik , p. 2:1-2:20 20 p. (Leibniz International Proceedings in Informatics; vol. 337).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
WIP: Blurred Lines--A GDPR-Compliant Framework for Anonymising Automotive Video Data
Vinod, R. & Arnaboldi, L., 12 Aug 2025, Proceedings of the 3rd USENIX Symposium on Vehicle Security and Privacy (VehicleSec ’25). USENIX Association, p. 125-131 7 p. (USENIX Conference Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Projects
- 4 Finished
-
Hardware + AI Security Short term research funding
Arnaboldi, L. (Co-Investigator) & Oswald, D. (Principal Investigator)
15/01/25 → 30/06/25
Project: Research
-
EPSRC IAA 2022-26: Open Network for Secure, Ethical, and Sustainable AI for Manufacturing Excellence
Keith, M. (Co-Investigator), Windows-Yule, C. (Principal Investigator) & Arnaboldi, L. (Co-Investigator)
Engineering & Physical Science Research Council
1/01/25 → 30/06/25
Project: Research Councils
-
HackRoom Unlock Your Cyber Skills to Escape
Muench, M. (Co-Investigator) & Arnaboldi, L. (Principal Investigator)
1/01/25 → 31/03/25
Project: Research
-
EPSRC IAA (2022-26): AI Powered Knowledge Graph for Automotive and Mobility Sector
Arnaboldi, L. (Principal Investigator)
Engineering & Physical Science Research Council
1/08/24 → 31/12/25
Project: Research Councils