Hidden-Markov modeling of QIF in sequential programs

Mário S. Alvim; Konstantinos Chatzikokolakis; Annabelle McIver; Carroll Morgan; Catuscia Palamidessi; Geoffrey Smith

doi:10.1007/978-3-319-96131-6_14

Hidden-Markov modeling of QIF in sequential programs

Mário S. Alvim
, Konstantinos Chatzikokolakis
, Annabelle McIver
, Carroll Morgan
, Catuscia Palamidessi
, Geoffrey Smith

Universidade Federal de Minas Gerais
University of Athens
Macquarie University
University of New South Wales
Florida International University

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

Abstract

In the last chapter we made the case for embedding our treatment of QIF, developed in Parts I–III as “channels that leak”, in a programming-language setting.

Original language	English
Title of host publication	Information Security and Cryptography
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	255-282
Number of pages	28
DOIs	https://doi.org/10.1007/978-3-319-96131-6_14
Publication status	Published - 1 Jan 2020

Publication series

Name	Information Security and Cryptography
ISSN (Print)	1619-7100
ISSN (Electronic)	2197-845X

Access to Document

10.1007/978-3-319-96131-6_14

Cite this

@inbook{ef7da7546d054f75823db4d44feecd1c,

title = "Hidden-Markov modeling of QIF in sequential programs",

abstract = "In the last chapter we made the case for embedding our treatment of QIF, developed in Parts I–III as “channels that leak”, in a programming-language setting.",

author = "Alvim, \{M{\'a}rio S.\} and Konstantinos Chatzikokolakis and Annabelle McIver and Carroll Morgan and Catuscia Palamidessi and Geoffrey Smith",

note = "Publisher Copyright: {\textcopyright} Springer Nature Switzerland AG 2020.",

year = "2020",

month = jan,

day = "1",

doi = "10.1007/978-3-319-96131-6\_14",

language = "English",

series = "Information Security and Cryptography",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "255--282",

booktitle = "Information Security and Cryptography",

}

TY - CHAP

T1 - Hidden-Markov modeling of QIF in sequential programs

AU - Alvim, Mário S.

AU - Chatzikokolakis, Konstantinos

AU - McIver, Annabelle

AU - Morgan, Carroll

AU - Palamidessi, Catuscia

AU - Smith, Geoffrey

PY - 2020/1/1

Y1 - 2020/1/1

N2 - In the last chapter we made the case for embedding our treatment of QIF, developed in Parts I–III as “channels that leak”, in a programming-language setting.

AB - In the last chapter we made the case for embedding our treatment of QIF, developed in Parts I–III as “channels that leak”, in a programming-language setting.

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

U2 - 10.1007/978-3-319-96131-6_14

DO - 10.1007/978-3-319-96131-6_14

M3 - Chapter

AN - SCOPUS:85091565612

T3 - Information Security and Cryptography

SP - 255

EP - 282

BT - Information Security and Cryptography

PB - Springer Science and Business Media Deutschland GmbH

ER -

Hidden-Markov modeling of QIF in sequential programs

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this