Making software more reliable using a new model for entropies of computers' internal state

Project: Research

Status	Finished
Effective start/end date	16/02/12 → 31/12/17

Abstract hidden Markov models: a monadic account of quantitative information flow
McIver, A., Morgan, C. & Rabehaja, T., 31 Jul 2015, Proceedings - 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015. Picataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 597-608 12 p. 7174915. (Annual Symposium on Logic in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
18 Citations (Scopus)
Additive and multiplicative notions of leakage, and their capacities
Alvim, M. S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C. & Smith, G., 13 Nov 2014, Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014. Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), Vol. 2014-January. p. 308-322 15 p. 6957119. (Proceedings-Computer Security Foundations Workshop).
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
55 Citations (Scopus)

Project Details