[msp-interest] [MSP101] Aven Dauz: Modelling cybersecurity games with compositional game theory (LT412, 3pm Mon 7-Apr)

[Dilsat Yuksel]

Hello,

On Monday, the MSP101 talk will be given by Aven Dauz (MSP). See the details of the talk below.

Best,
Dilsat

**********************************************************************

Date: Monday, 7 April at 15:00

Room: LT412, Livingstone Tower

Zoom link: https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1
Live stream on Youtube: https://www.youtube.com/@msp101strathclyde4

Speaker: Aven Dauz

Title: Modelling cybersecurity games with compositional game theory

Abstract: Compositional game theory and its corresponding Haskell DSL open-games-engine, have been used for modelling microeconomic games, auctions, and smart contracts. Some advantages of this compositional approach are leveraging modularity and code-reuse to construct larger games. Incidentally, game theory has been used to model complex attack-defense scenarios in cybersecurity, with the simplest case modelling the strategic interaction between a single attacker and defender. Scaling these models to accurately reflect real-world attacks and extrapolate data to improve the performance of systems remains an active area of research. In this talk I'll present a honeypot allocation game and design choices that allow a modeller to easily extend the construction to represent defensive strategies such as deception.

**********************************************************************


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250403/6b01861f/attachment.html