Carroll C. Morgan

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 2

Top Topics

Multi Context Systems

Information Flows

Possibilistic Logic

Top Venues

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications

A. K. McIver, Carroll C. Morgan, T. M. Rabehaja
Program algebra for quantitative information flow. J. Log. Algebraic Methods Program. 106 (2019)
Annabelle McIver, Carroll C. Morgan, Tahiry M. Rabehaja
Algebra for Quantitative Information Flow. RAMiCS (2017)
Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo
Abstractions of non-interference security: probabilistic versus possibilistic. Formal Aspects Comput. 26 (1) (2014)
Carroll C. Morgan
Lattices of Information for Security: Deterministic, Demonic, Probabilistic. ICFEM (2013)
A. K. McIver, Carroll C. Morgan
Compositional refinement in agent-based security protocols. Formal Aspects Comput. 23 (6) (2011)
Joost-Pieter Katoen, Annabelle McIver, Larissa Meinicke, Carroll C. Morgan
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods. SAS (2010)
Annabelle McIver, Carroll C. Morgan
Case Studies in Security, Compositionality and Refinement. FM (2009)
A. K. McIver, Carlos Gonzalía, E. Cohen, Carroll C. Morgan
Using probabilistic Kleene algebra pKA for protocol verification. J. Log. Algebraic Methods Program. 76 (1) (2008)
A. K. McIver, Carroll C. Morgan, Carlos Gonzalía
Proofs and Refutations for Probabilistic Refinement. FM (2008)