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

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	Information Security and Cryptography
Editeur	Springer Science and Business Media Deutschland GmbH
Pages	255-282
Nombre de pages	28
Les DOIs	https://doi.org/10.1007/978-3-319-96131-6_14
état	Publié - 1 janv. 2020

Série de publications

Nom	Information Security and Cryptography
ISSN (imprimé)	1619-7100
ISSN (Electronique)	2197-845X

Accès au document

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

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

@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",

}

Hidden-Markov modeling of QIF in sequential programs. / Alvim, Mário S.; Chatzikokolakis, Konstantinos; McIver, Annabelle et al.
Information Security and Cryptography. Springer Science and Business Media Deutschland GmbH, 2020. p. 255-282 (Information Security and Cryptography).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

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

Résumé

Série de publications

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation