McIver, A. K.; Morgan, C. C.; Rabehaja, T. Program algebra for quantitative information flow. (English) Zbl 1423.68106 J. Log. Algebr. Methods Program. 106, 55-77 (2019). MSC: 68N30 68P30 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. K. McIver} et al., J. Log. Algebr. Methods Program. 106, 55--77 (2019; Zbl 1423.68106) Full Text: DOI
McIver, Annabelle; Morgan, Carroll; Rabehaja, Tahiry Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1423.68107 Log. Methods Comput. Sci. 15, No. 1, Paper No. 36, 50 p. (2019). MSC: 68N30 60J20 68P30 68Q87 PDFBibTeX XMLCite \textit{A. McIver} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 36, 50 p. (2019; Zbl 1423.68107) Full Text: DOI arXiv
McIver, A. K.; Morgan, C. C.; Rabehaja, T. Algebra for quantitative information flow. (English) Zbl 1486.68044 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 3-23 (2017). MSC: 68N30 68P30 68Q55 68Q87 PDFBibTeX XMLCite \textit{A. K. McIver} et al., Lect. Notes Comput. Sci. 10226, 3--23 (2017; Zbl 1486.68044) Full Text: DOI
McIver, Annabelle; Rabehaja, Tahiry; Struth, Georg Probabilistic rely-guarantee calculus. (English) Zbl 1356.68156 Theor. Comput. Sci. 655, Part B, 120-134 (2016). MSC: 68Q85 68N30 68Q55 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. McIver} et al., Theor. Comput. Sci. 655, Part B, 120--134 (2016; Zbl 1356.68156) Full Text: DOI arXiv
McIver, Annabelle; Morgan, Carroll; Rabehaja, Tahiry Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1401.68046 Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 597-608 (2015). MSC: 68N30 60J20 68P30 68Q87 PDFBibTeX XMLCite \textit{A. McIver} et al., in: Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6--10, 2015. Los Alamitos, CA: IEEE Computer Society. 597--608 (2015; Zbl 1401.68046) Full Text: DOI
Hoang, T. S.; McIver, A. K.; Meinicke, L.; Morgan, C. C.; Sloane, A.; Susatyo, E. Abstractions of non-interference security: probabilistic versus possibilistic. (English) Zbl 1323.68212 Formal Asp. Comput. 26, No. 1, 169-194 (2014). MSC: 68N30 68Q87 PDFBibTeX XMLCite \textit{T. S. Hoang} et al., Formal Asp. Comput. 26, No. 1, 169--194 (2014; Zbl 1323.68212) Full Text: DOI
Ndukwu, Ukachukwu; McIver, Annabelle An expectation transformer approach to predicate abstraction and data independence for probabilistic programs. (English) Zbl 1456.68027 Di Pierro, Alessandra (ed.) et al., Proceedings of the eighth workshop on quantitative aspects of programming languages, Paphos, Cyprus, March 27–28, 2010. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 28, 129-143 (2010). MSC: 68N30 68Q60 68Q87 PDFBibTeX XMLCite \textit{U. Ndukwu} and \textit{A. McIver}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 28, 129--143 (2010; Zbl 1456.68027) Full Text: Link
Mciver, A. K. A generalisation of stationary distributions, and probabilistic program algebra. (English) Zbl 1260.68107 Brooks, Stephen (ed.) et al., MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23–26, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 45, 269-279 (2001). MSC: 68N30 68Q55 68Q10 68Q87 PDFBibTeX XMLCite \textit{A. K. Mciver}, Electron. Notes Theor. Comput. Sci. 45, 269--279 (2001; Zbl 1260.68107) Full Text: DOI