From dilsat.yuksel at strath.ac.uk Thu Apr 3 13:12:59 2025 From: dilsat.yuksel at strath.ac.uk (Dilsat Yuksel) Date: Thu, 3 Apr 2025 12:12:59 +0000 Subject: [msp-interest] [MSP101] Aven Dauz: Modelling cybersecurity games with compositional game theory (LT412, 3pm Mon 7-Apr) Message-ID: 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 From dilsat.yuksel at strath.ac.uk Wed Apr 16 14:48:14 2025 From: dilsat.yuksel at strath.ac.uk (Dilsat Yuksel) Date: Wed, 16 Apr 2025 13:48:14 +0000 Subject: [msp-interest] =?windows-1252?q?__=5BMSP101=5D_April_Gon=E7alves=3A_A_quick_=26?= =?windows-1252?q?_dirty_look_at_at_abstract_syntax_with_binders_and_metav?= =?windows-1252?q?ariables_=28LT210=2C_3pm_Tue_22-Apr=29?= Message-ID: Hi, On Tuesday, the MSP101 talk will be given by April Gon?alves (MSP). See the details of the talk below. Best, Dilsat ********************************************************************** Date: Tuesday, 22 March at 15:00 Room: LT210, Livingstone Tower Zoom link: https://strath.zoom.us/j/85449272187?pwd=0qNkQqybiaKgBpbEBRv38x11x4db5n.1 Live stream on Youtube: https://www.youtube.com/@msp101strathclyde4 Speaker: April Gon?alves Title: A quick & dirty look at at abstract syntax with binders and metavariables Abstract: In this talk, I will show the (categorical) semantics of Fiore and collaborators? ?Second-Order Abstract Syntax with Binders? and of McBride and collaborators? ?Universe of Syntaxes with Bindings?. I will also compare them under multiple criteria (literature, usage, meta theory and implementation/formalisation), with special focus on how both approaches handle metavariables by using System F as our main example. (Please beware it?s a work in progress, and many details haven?t been worked out yet) ********************************************************************** -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20250416/31eb182d/attachment.html