2026-07-26T20:56:35Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:15722 2024-03-06T10:56:02Z ddc:004 open_access

How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk) Fernandes, Natasha McIver, Annabelle Morgan, Carroll Geometry Quantitative Information Flow Proof Explainability Privacy The study of quantitative risk in security systems is often based around complex and subtle mathematical ideas involving probabilities. The notations for these ideas can pose a communication barrier between collaborating researchers even when those researchers are working within a similar framework. This paper describes the use of geometrical representation and reasoning as a way to share ideas using the minimum of notation so as to build intuition about what kinds of properties might or might not be true. We describe a faithful geometrical setting for the channel model of quantitative information flow (QIF) and demonstrate how it can facilitate "proofs without words" for problems in the QIF setting. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Natasha Fernandes and Annabelle McIver and Carroll Morgan 2022 Is Part Of LIPIcs, Volume 216, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CSL.2022.2 urn:nbn:de:0030-drops-157227 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2022.2 eng https://creativecommons.org/licenses/by/4.0/legalcode