Seminars

We are delighted to announce a series of exciting talks, including those by our stakeholders (#TASSTalks) and those hosted by our colleagues at Cranfield University, Security Lancaster and LIRA.  Further details are given in each section below.

‘Specifying and verifying algorithms in TLA+’ with Dr. Stephan Merz (Inria Nancy).
Friday, 10th June, 2pm.
Security Lancaster seminar.

TLA+ is a formal language, based on mathematical set theory and temporal logic, for describing algorithms, and it is supported by explicit-state and symbolic model checkers, as well as an interactive proof assistant, for verifying their properties. Using distributed termination detection as a running example, this talk will introduce the fundamental
concepts of TLA+ and also give an overview of the TLA+ toolset.

Stephan Merz received his PhD from the University of Munich in Germany. Since 2002 he has been a senior
researcher at Inria, where he heads the VeriDis research group. His research interests are centered on formal methods for the description and verification of algorithms and systems, including model checking and
theorem proving. He contributes to the TLA+ Proof System, a proof assistant for reasoning about TLA+
specifications.

Legal decision makers often use an eyewitness’s confidence (e.g., “I’m absolutely sure!”) to gauge the accuracy of the evidence the witness provides. Indeed, a growing body of research suggests that eyewitness confidence can be informative about the accuracy of witnesses’ decisions when they select a face from a police lineup that is conducted in appropriate (unbiased) ways. Yet relatively little is known about the confidence-accuracy relationship when witnesses report details about a crime—such as the appearance and actions of a perpetrator. In this talk, Emily will
discuss how best to collect confidence judgements from witnesses during police interviews, and how different witnessing and testing conditions (e.g., the visibility of the crime) affect a witness’s confidence in their memory report. Finally, she will discuss how theories of confidence can help memory scientists to understand when the confidence-accuracy relationship is likely to break down and the implications for the criminal justice system.

Emily is a final year PhD student in the Psychology Department at the University of Warwick. Broadly, she is interested in autobiographical and episodic memory, and the application of theoretical models of memory to applied settings, particularly legal contexts. Her PhD focuses on the relationship between the accuracy of witness’s memory reports and their confidence in these reports. Specifically, she is interested in when confidence judgements provide a useful indicator of accuracy when witnesses are asked to recall details about a crime, such as in a police interview.

Please see below details of our previous TAS-S seminars. Most of these were recorded and can be accessed via this folder.  

Logo for Arthur's Legal, a large yellow A next to the company name

‘Trusted Data Sharing (TDS); sharing data based on trust in dynamic (eco)system life cycles’. Dr. Arthur van der Wees, Arthur’s Legal

TAS-S Seminar.  Friday, 18th March 2022

Arthur van der Wees is managing director of Arthur’s Legal, Strategies & Systems, an international research-based strategic and legal organization that covers the unique combination of technology, strategy, impact, ethics & law focusing on (inter)national, regional and global strategy & policy aspects in this Digital Age. It has a global practice with multiple relevant programs/projects in the UK, EU and US in the public, private and public-private sectors, on security, sovereignty, safety, internet & identity of things, data sharing, human-centricity, nuances of trust, trustworthy cyber-physical ecosystems of ecosystems, dynamic assurance and accountability.

He is (co-)author of various publications about innovation, digital transformation, data, computing, IoT, robotics, AI, manufacturing, autonomous systems, security, safety and privacy and trust. He has contributed to several regulations, standards and policy instruments for the Digital Age. Furthermore he is advisory board member respectively partner in more than 15 European projects.

Logo for BAE Systems. The company name is written in white capitals on a red background.Industrial Perspectives of Artificial Intelligence” with Prof. Nick Colosimo, BAE Systems.

This talk addressed the following:

  • A discussion of key trends in AI and autonomous systems from a defence industrial perspective.
  • Application areas and solutions in terms of products, services, and process improvement.
  • Outstanding challenges from a defence industrial perspective-relevant to safety and security.
  • Views of how those challenges could be addressed
  • Future catalysts and “game changers”.

Prof. Nick Colosimo started with BAE Systems (then British Aerospace) in 1990 as a technical apprentice.  In his current role he defines technology strategy and planning, and provides innovative solutions to hard technical problems in the context of the future combat air system (FCAS) project.  He is also the Principal Technologist for Disruptive Technologies and a visiting Professor at Cranfield University.

 

Logo for Spirent. A green and blue circle is shown next to the company's nameInvited Industrial Talk from Spirent on Trustworthy Autonomy.

Spirent is a British FTSE 250 company in telecommunications, navigation, and autonomy. They are industrial sponsors of many MSc and research project at Cranfield University. 

Logo for Airbus‘Security challenges for collaborative autonomous aircraft systems’ with Dr. Cora Perner, Airbus.  

Increasing autonomy is an emerging topic for both civil and military aircraft systems. However, the increased connectivity of previously isolated services in combination with legacy leaves such systems vulnerable to cyber attacks.  This talk covered challenges related to securing autonomous aircraft systems operating in the same airspace as crewed aircraft. The focus was on establishing trust with potential collaborators as well as on investigating the impact of a propagating attack on the success of a collaborative mission.

Dr. Perner is a Cybersecurity Aeronautics Architect with Airbus Cybersecurity and leads several research projects. She completed her PhD in Computer Science from the Technical University of Munich and a degree in Aerospace Vehicle Design from Cranfield University.

Logo for TTTech. The name of the company is written in blue on a white background‘Safe Autonomous Systems:  Challenges and Potential Solutions’ with Wilfried Steiner, TTTech Labs.

Over the last decades we have managed to build quite sophisticated dependable systems, like airplanes or power plants. However, the complexity of autonomous systems like self-driving cars is unprecedented, and so is their safety assurance. This talk discussed a conceptual architecture as the foundation for safe autonomous systems, followed by practical design considerations and challenges. Some  formal verification studies and discuss possible strategies to achieve dependability of systems that incorporate ML components were also presented.

Wilfried Steiner is the Director of the TTTech Labs which acts as center for strategic research as well as the center for IPR management within the TTTech Group. He holds a degree of Doctor of Technical Sciences and the Venia Docendi in Computer Science, both from the Vienna University of Technology, Austria.

His research is focused on dependable cyber-physical systems for which he designs algorithms and network protocols with real-time, dependability, and security requirements.    

Logo for Thales. The name Thales is spelt our in black with a blue-green circles in the centre of the letter ASecure-by-Design – the challenge of moving beyond Cyber Risk Management to Cyber Resiliency’ with Dr. Alex Tarter, Thales

One of the challenges for companies building modern critical infrastructure is that you need to design highly complex interconnected systems that can withstand a changing cyber attack landscape over the long-term. Our traditional risk management approaches don’t let us take into consideration emergent properties, critical interdependencies or the ability to continuously change.

This talk described some of the approaches and ideas Thales is employing to try and integrate continuous assurance and resilience into our critical systems – so that we can trust that they will work as expected.  

Dr. Tarter has been working in the fields of Defence and Critical National Infrastructure Cyber security for over 15 years.  As the CTO-Cyber, he is responsible for shaping the technical strategy and cyber capabilities of Thales UK. This includes leading the Thales UK Cyber Competence Centre, cyber-related R&D, and global product line management for our cyber security consulting offers.  

Logo for AIT (Austrian Institute of Technology)Security by Design for IOT and Automotive’ with Dr. Willibald Krenn, Austrian Institute of Technology (AIT). 

AIT is developing a security-by-design tool called THREATGET. In this talk, Dr. Krenn presented the current state of the tool and how it can be applied in the IoT and automotive domains using some examples. After discussing the basics of the tool and the threat modelling approach, Dr. Krenn discussed current challenges and research, like automated security attribute selection.

Dr. Krenn is the Thematic Coordinator of AIT’s Dependable Systems Engineering group and holds a PhD in computer science from Graz University of Technology. 

Logo of the University of Glasgow. A shield is shown to the left of the name of the university, on a blue background“Towards Safe, Trustworthy and Efficient Autonomous Vehicles” (19th August 2021)
Dr. Dezong Zhao EPSRC Innovation Fellow, University of Glasgow.

The main challenge in autonomous driving is to handle uncertainties. It proposes rigorous requirements that autonomous vehicles need to guarantee safe and trustworthy decision making. To make this realistic, autonomous vehicles have to be interpretable, adaptable, verifiable and robust. The goals would be achieved by developing transparent and reliable tools in perception, planning, modelling and control. Moreover, the current autonomous vehicles are power hungry so green driving solutions are expected. To this end, developing ecological driving strategies and event-camera-based perception falls into our research interest.

TAS-S/Security Lancaster seminar series
Previous seminars can be found on the Security Lancaster archive pages.

TAS Doctoral Training Network seminar series
Details of upcoming and previous seminars can be found on the TAS DTC webpages. 

Logo of the TAS-R node. Shows an orange circle on a wavy blue background

TAS Node in Resilience seminar series
Details of upcoming and previous seminars can be found on the TAS-R Node’s events pages.   

Logo for the TAS Node in Governance and Regulation. Two hands looping over each other so that each can write on the wrist of the other.

TAS Node in Governance and Regulation
Details of upcoming and previous seminars can be found on the TAS-G Node’s events pages.

Logo of the TAS Node for Verifiability. An outline of a car against a red background.

TAS Node in Verifiability
Details of upcoming and previous seminars can be found on the TAS-V Node’s  events pages.