Hidden-Markov modeling of QIF in sequential programs

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

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

Part of the book series: Information Security and Cryptography ((ISC))

897 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic

$34.99 /Month

Get 10 units per month
Download Article/Chapter or eBook
1 Unit = 1 Article or 1 Chapter
Cancel anytime

Buy Now

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 54.99; Price excludes VAT (USA)

Hardcover Book: USD 64.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Computer Science Department, Universidade Federal de Minas Gerais, Belo Horizonte, Brazil
Mário S. Alvim
Department of Informatics and Telecommunications, University of Athens, Athens, Greece
Konstantinos Chatzikokolakis
Department of Computing, Macquarie University, Sydney, NSW, Australia
Annabelle McIver
School of Computer Science & Engineering, University of New South Wales Trustworthy Systems, Data61 CSIRO, Sydney, NSW, Australia
Carroll Morgan
Inria Saclay and LIX École Polytechnique, Institut Polytechnique de Paris, Palaiseau, France
Catuscia Palamidessi
School of Computing & Information Sciences, Florida International University, Miami, FL, USA
Geoffrey Smith

Authors

Mário S. Alvim
View author publications
You can also search for this author in PubMed Google Scholar
Konstantinos Chatzikokolakis
View author publications
You can also search for this author in PubMed Google Scholar
Annabelle McIver
View author publications
You can also search for this author in PubMed Google Scholar
Carroll Morgan
View author publications
You can also search for this author in PubMed Google Scholar
Catuscia Palamidessi
View author publications
You can also search for this author in PubMed Google Scholar
Geoffrey Smith
View author publications
You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Alvim, M.S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G. (2020). Hidden-Markov modeling of QIF in sequential programs. In: The Science of Quantitative Information Flow. Information Security and Cryptography. Springer, Cham. https://doi.org/10.1007/978-3-319-96131-6_14

Download citation

DOI: https://doi.org/10.1007/978-3-319-96131-6_14
Published: 23 September 2020
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96129-3
Online ISBN: 978-3-319-96131-6
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics