How to develop an intuition for risk. . . and other invisible phenomena

Natasha Fernandes; Annabelle McIver; Carroll Morgan

doi:10.4230/LIPIcs.CSL.2022.2

How to develop an intuition for risk. . . and other invisible phenomena

Natasha Fernandes, Annabelle McIver, Carroll Morgan

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

62 Downloads (Pure)

Abstract

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.

Original language	English
Title of host publication	30th EACSL Annual Conference on Computer Science Logic, CSL 2022
Editors	Florin Manea, Alex Simpson
Place of Publication	Wadern, Germany
Publisher	Dagstuhl Publishing
Pages	1-14
Number of pages	14
ISBN (Electronic)	9783959772181
DOIs	https://doi.org/10.4230/LIPIcs.CSL.2022.2
Publication status	Published - Feb 2022
Event	30th EACSL Annual Conference on Computer Science Logic, CSL 2022 - Virtual, Gottingen, Germany Duration: 14 Feb 2022 → 19 Feb 2022

Publication series

Name	Leibniz International Proceedings in Informatics, LIPIcs
Volume	216
ISSN (Print)	1868-8969

Conference

Conference	30th EACSL Annual Conference on Computer Science Logic, CSL 2022
Country/Territory	Germany
City	Virtual, Gottingen
Period	14/02/22 → 19/02/22

Bibliographical note

Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

Keywords

Geometry
Quantitative information flow
Proof
Explainability
Privacy

Access to Document

10.4230/LIPIcs.CSL.2022.2

Publisher version (open access)Final published version, 1.84 MBLicence: CC BY

Cite this

Fernandes, N., McIver, A., & Morgan, C. (2022). How to develop an intuition for risk. . . and other invisible phenomena. In F. Manea, & A. Simpson (Eds.), 30th EACSL Annual Conference on Computer Science Logic, CSL 2022 (pp. 1-14). Article 2 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 216). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2022.2

@inproceedings{ebed42a133084b4ea23e878f0359a411,

title = "How to develop an intuition for risk. . . and other invisible phenomena",

abstract = "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.",

keywords = "Geometry, Quantitative information flow, Proof, Explainability, Privacy",

author = "Natasha Fernandes and Annabelle McIver and Carroll Morgan",

note = "Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher. ; 30th EACSL Annual Conference on Computer Science Logic, CSL 2022 ; Conference date: 14-02-2022 Through 19-02-2022",

year = "2022",

month = feb,

doi = "10.4230/LIPIcs.CSL.2022.2",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Dagstuhl Publishing",

pages = "1--14",

editor = "Florin Manea and Alex Simpson",

booktitle = "30th EACSL Annual Conference on Computer Science Logic, CSL 2022",

address = "Germany",

}

Fernandes, N , McIver, A & Morgan, C 2022, How to develop an intuition for risk. . . and other invisible phenomena. in F Manea & A Simpson (eds), 30th EACSL Annual Conference on Computer Science Logic, CSL 2022., 2, Leibniz International Proceedings in Informatics, LIPIcs, vol. 216, Dagstuhl Publishing, Wadern, Germany, pp. 1-14, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Virtual, Gottingen, Germany, 14/02/22. https://doi.org/10.4230/LIPIcs.CSL.2022.2

How to develop an intuition for risk. . . and other invisible phenomena. / Fernandes, Natasha ; McIver, Annabelle; Morgan, Carroll.
30th EACSL Annual Conference on Computer Science Logic, CSL 2022. ed. / Florin Manea; Alex Simpson. Wadern, Germany: Dagstuhl Publishing, 2022. p. 1-14 2 (Leibniz International Proceedings in Informatics, LIPIcs; Vol. 216).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - How to develop an intuition for risk. . . and other invisible phenomena

AU - Fernandes, Natasha

AU - McIver, Annabelle

AU - Morgan, Carroll

N1 - Version archived for private and non-commercial use with the permission of the author/s and according to publisher conditions. For further rights please contact the publisher.

PY - 2022/2

Y1 - 2022/2

N2 - 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.

AB - 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.

KW - Geometry

KW - Quantitative information flow

KW - Proof

KW - Explainability

KW - Privacy

UR - https://www.scopus.com/pages/publications/85124196543

U2 - 10.4230/LIPIcs.CSL.2022.2

DO - 10.4230/LIPIcs.CSL.2022.2

M3 - Conference proceeding contribution

AN - SCOPUS:85124196543

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 1

EP - 14

BT - 30th EACSL Annual Conference on Computer Science Logic, CSL 2022

A2 - Manea, Florin

A2 - Simpson, Alex

PB - Dagstuhl Publishing

CY - Wadern, Germany

T2 - 30th EACSL Annual Conference on Computer Science Logic, CSL 2022

Y2 - 14 February 2022 through 19 February 2022

ER -

How to develop an intuition for risk. . . and other invisible phenomena

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this