Hidden-Markov modeling of QIF in sequential programs Book Chapter

Alvim, MS, Chatzikokolakis, K, McIver, A et al. (2020). Hidden-Markov modeling of QIF in sequential programs . 255-282. 10.1007/978-3-319-96131-6_14

cited authors

  • Alvim, MS; Chatzikokolakis, K; McIver, A; Morgan, C; Palamidessi, C; Smith, G

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.

authors

publication date

  • January 1, 2020

Digital Object Identifier (DOI)

start page

  • 255

end page

  • 282