Luca Arnaboldi - Researcher

Creative

Current News

  • 29 June 2022 - I've won an Informatics Staff Award for stepping in to teach Secure Programming MSc link
  • 18 June 2022 - Ext. Abstract (FOMLAS22): Why Robust Natural Language Understanding is a Challenge soon
  • 18 June 2022 - Ext. Abstract (FOMLAS22): Vehicle: A High-Level Language for Embedding Logical Specifications in Neural Network soon
  • 31 May 2022 - New Paper (SENSEI22 - co-located SafeComp): Towards Interdependent Safety Security Assessments using Bowties soon
  • 14 Apr 2022 - Presenting our autonomous research vehicle at the Edinburgh Science festival poster
  • 4 Mar 2022 - New Paper (FormaLISE22): Automating Cryptographic Protocol Language Generation from Structured Specifications link
  • 10 Feb 2022 - New Preprint: Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers link
  • 12th January 2022 - just started part time position (3mo) as University Teacher, running the MSc course on Secure Programming!
  • 26th October 2021 - short interview with Directindustry Magazine: see our thoughts at: "Is the Dream of Self-Driving Cars Dead?" link
  • 19th May 2021 - New Preprint: "MetaCP: Cryptographic Protocol Design Tool for Formal Verification" link
  • 17th May 2021 - New Preprint: "A Review of Intrusion Detection Systems and Their Evaluation in the IoT" link
  • 6th April 20201Just published an article in the Conversation: "Perfecting self-driving cars – can it be done?" link
  • 23 March 2021 - New Preprint: "Explainable Machine Learning-driven Strategy for Automated Trading Pattern Extraction" link
  • 18th March 2021 - Joined UK-SPS Organizing Committee "UK Wide Seminar Series on Cyber Security" link
  • 28th January 2021 - Successfully Defended Viva
  • 14th December 2020 - Started Postdoc at Edinburgh - Working on Security of Autonomous Systems
  • 13th December 2020 - Submitted Thesis - "A Methodology for the QuantitativeEvaluation of Attacks and Mitigationsin IoT Systems"!