Postdoc position in Artificial Intelligence
*Security hardening based on multi-agent system verification in the
context of the connected car infrastructure
*
Keywords: Security, Formal Verification, Model Checking of Multi-Agent
Systems, Security Risk Management, Attack Modelling
*Description*
Recently, classic verification approaches such as model checking have
been extended to handle multi-agent systems. These are systems that
encapsulate the behavior of two or more rational agents interacting
among them in a cooperative or adversarial way, aiming at a designed
goal. In system security checking, a malicious attack can be seen as an
attempt of an intruder to gain unauthorized access to a resource or as
an attempt to compromise the system integrity. The envisioned approach
is: given an attack model of the system (such an attack graph), to model
the interactions between the attacker & defender as a game on this
attack model and use multi-agent system verification techniques to
determine optimal defense strategies.
*Goals*
The global objective of this postdoc is the use of methods and tools for
security hardening in the context of the connected car infrastructure
based on a formal verification approach.
Some of the challenges of this postdoc will be to answer to the
following questions:
* How can we select security counter-measures ensuring the best
trade-off between security level achieved and other constraints?
* How can we capture the dynamic between the attacker and the defender?
* How can we integrate these decision support tools in the classical
risk management process such as defined by the ISO/IEC 27005 without
redefining it completely?
*Profile and skills required*
- PhD in computer science, mathematics, or related fields.
- Strong computer science and/or mathematical background (with
particular attention on formal methods, logic, and security).
- Good programming skills.
- Good level in written and spoken English.
*How to apply*
If you are interested you can apply by sending your CV and motivation
letter to: [email protected] and [email protected]
*Deadline for application submission:* November 19, 2021.
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
