Carroll Morgan

ORCID

Publication Activity (10 Years)

Years Active: 1976-2024
Publications (10 Years): 28

Top Venues

Publications

Chris Chen, Annabelle McIver, Carroll Morgan
Source-level reasoning for quantitative information flow. CoRR (2024)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow. CCS (2023)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel Henrique Nunes
A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow. CoRR (2023)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel H. Nunes
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. CoRR (2022)
Mário S. Alvim, Natasha Fernandes, Annabelle McIver, Carroll Morgan, Gabriel H. Nunes
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata. Proc. Priv. Enhancing Technol. 2022 (4) (2022)
Natasha Fernandes, Annabelle McIver, Carroll Morgan
How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk). CSL (2022)
Natasha Fernandes, Annabelle McIver, Carroll Morgan
The Laplace Mechanism has optimal utility for differential privacy over continuous queries. LICS (2021)
Natasha Fernandes, Annabelle McIver, Carroll Morgan
The Laplace Mechanism has optimal utility for differential privacy over continuous queries. CoRR (2021)
Annabelle McIver, Carroll Morgan
Correctness by construction for probabilistic programs. CoRR (2020)
Peter Höfner, Carroll Morgan, Vaughan R. Pratt
Preface. Acta Informatica 57 (3-5) (2020)
Annabelle McIver, Carroll Morgan
Correctness by Construction for Probabilistic Programs. ISoLA (1) (2020)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
An axiomatization of information flow measures. Theor. Comput. Sci. 777 (2019)
Annabelle McIver, Carroll Morgan
Proving that Programs Are Differentially Private. APLAS (2019)
Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Abstract Hidden Markov Models: a monadic account of quantitative information flow. Log. Methods Comput. Sci. 15 (1) (2019)
Tahiry M. Rabehaja, Annabelle McIver, Carroll Morgan, Georg Struth
Categorical Information Flow. The Art of Modelling Computational Systems (2019)
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
A new proof rule for almost-sure termination. Proc. ACM Program. Lang. 2 (POPL) (2018)
Carroll Morgan
A Demonic Lattice of Information. Concurrency, Security, and Puzzles (2017)
Annabelle McIver, Tahiry M. Rabehaja, Roland Wen, Carroll Morgan
Privacy in elections: How small is "small"? J. Inf. Secur. Appl. 36 (2017)
Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen
A New Proof Rule for Almost-Sure Termination. CoRR (2017)
Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Reasoning About Distributed Secrets. FORTE (2017)
Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Abstract Hidden Markov Models: a monadic account of quantitative information flow. CoRR (2017)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Axioms for Information Leakage. CSF (2016)
Annabelle McIver, Carroll Morgan
A new rule for almost-certain termination of probabilistic and demonic programs. CoRR (2016)
June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. ITP (2016)
Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Compositional security and collateral leakage. CoRR (2016)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Hidden-Markov program algebra with iteration. Math. Struct. Comput. Sci. 25 (2) (2015)
June Andronick, Corey Lewis, Carroll Morgan
Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System. MARS (2015)
Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. LICS (2015)
Roland Wen, Annabelle McIver, Carroll Morgan
Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections. FM (2014)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Real-reward testing for probabilistic processes. Theor. Comput. Sci. 538 (2014)
Carroll Morgan
An old new notation for elementary probability theory. Sci. Comput. Program. 85 (2014)
Adenilso da Silva Simão, Carroll Morgan
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). Sci. Comput. Program. 92 (2014)
Carroll Morgan
(In-)Formal Methods: The Lost Art - A Users' Manual. SETSS (2014)
Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, Larissa Meinicke
Abstract Channels and Their Robust Information-Leakage Ordering. POST (2014)
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF (2014)
Carroll Morgan
Elementary Probability Theory in the Eindhoven Style. MPC (2012)
Jin Song Dong, Annabelle McIver, Carroll Morgan
Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10). NII Shonan Meet. Rep. 2012 (2012)
Carroll Morgan
Compositional noninterference from first principles. Formal Aspects Comput. 24 (1) (2012)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism. LICS (2012)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Real-Reward Testing for Probabilistic Processes (Extended Abstract) QAPL (2011)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Hidden-Markov Program Algebra with iteration CoRR (2011)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Compositional closure for Bayes Risk in probabilistic noninterference CoRR (2010)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Compositional Closure for Bayes Risk in Probabilistic Noninterference. ICALP (2) (2010)
Annabelle McIver, Larissa Meinicke, Carroll Morgan
Security, Probability and Nearly Fair Coins in the Cryptographers' Café. FM (2009)
Carroll Morgan
The Shadow Knows: Refinement and security in sequential programs. Sci. Comput. Program. 74 (8) (2009)
Carroll Morgan
How to Brew-up a Refinement Ordering. Electron. Notes Theor. Comput. Sci. 259 (2009)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Testing Finitary Probabilistic Processes. CONCUR (2009)
Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan
Characterising Testing Preorders for Finite Probabilistic Processes CoRR (2008)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan
Characterising Testing Preorders for Finite Probabilistic Processes. Log. Methods Comput. Sci. 4 (4) (2008)
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Remarks on Testing Probabilistic Processes. Electron. Notes Theor. Comput. Sci. 172 (2007)
Annabelle McIver, Carroll Morgan
Results on the quantitative µ-calculus qMµ. ACM Trans. Comput. Log. 8 (1) (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Characterising Testing Preorders for Finite Probabilistic Processes. LICS (2007)
Annabelle McIver, E. Cohen, Carroll Morgan
Using Probabilistic Kleene Algebra for Protocol Verification. RelMiCS (2006)
Carroll Morgan, Annabelle McIver
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. RODIN Book (2006)
Annabelle McIver, Carroll Morgan
-calculus. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Carroll Morgan
Refinement of Ignorance in Sequential Programs. MPC (2006)
Annabelle McIver, Carroll Morgan
). Inf. Process. Lett. 94 (2) (2005)
Joe Hurd, Annabelle McIver, Carroll Morgan
. Theor. Comput. Sci. 346 (1) (2005)
Annabelle McIver, Carroll Morgan
Abstraction and refinement in probabilistic systems. SIGMETRICS Perform. Evaluation Rev. 32 (4) (2005)
Joe Hurd, Annabelle McIver, Carroll Morgan
. Electron. Notes Theor. Comput. Sci. 112 (2005)
Carroll Morgan, Thai Son Hoang, Jean-Raymond Abrial
- Extended Abstract. ZB (2005)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Development via Refinement in Probabilistic B - Foundation and Case Study. ZB (2005)
Carroll Morgan, Annabelle McIver
Memoryless Strategies for Stochastic Games via Domain Theory. Electron. Notes Theor. Comput. Sci. 130 (2005)
Annabelle McIver, Carroll Morgan
. PSSE (2004)
Carroll Morgan
Of Probabilistic Wp and SP-and Compositionality. 25 Years Communicating Sequential Processes (2004)
Jifeng He, Carroll Morgan, Annabelle McIver
Deriving Probabilistic Semantics Via the 'Weakest Completion'. ICFEM (2004)
Annabelle McIver, Carroll Morgan, Thai Son Hoang
Probabilistic Termination in B. ZB (2003)
Annabelle McIver, Carroll Morgan
Results on the quantitative mu-calculus qMu CoRR (2003)
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan
Probabilistic Invariants for Probabilistic Machines. ZB (2003)
Annabelle McIver, Carroll Morgan
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL. Theor. Comput. Sci. 293 (3) (2003)
Annabelle McIver, Carroll Morgan
Games, Probability and the Quantitative µ-Calculus qMµ. LPAR (2002)
Carroll Morgan, Annabelle McIver
Cost Analysis of Games, Using Program Logic. APSEC (2001)
Annabelle McIver, Carroll Morgan
Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL. Electron. Notes Theor. Comput. Sci. 42 (2001)
Annabelle McIver, Carroll Morgan
Demonic, angelic and unbounded probabilistic choices in sequential programs. Acta Informatica 37 (4/5) (2001)
Annabelle McIver, Carroll Morgan
Partial correctness for probabilistic demonic programs. Theor. Comput. Sci. 266 (1-2) (2001)
Steve King, Carroll Morgan
An Iterator Construct for the Refinement Calculus. IWFM (2000)
Carroll Morgan, Annabelle McIver
An Expectation-Transformer Model for Probabilistic Temporal Logic. Log. J. IGPL 7 (6) (1999)
Carroll Morgan
The Generalised Substitution Language Extended to Probabilistic Programs. B (1998)
Carroll Morgan, Annabelle McIver, Karen Seidel, Jeff W. Sanders
Refinement-Oriented Probability for CSP. Formal Aspects Comput. 8 (6) (1996)
Carroll Morgan, Annabelle McIver
Unifying wp and wlp. Inf. Process. Lett. 59 (3) (1996)
Carroll Morgan, Annabelle McIver, Karen Seidel
Probabilistic Predicate Transformers. ACM Trans. Program. Lang. Syst. 18 (3) (1996)
Steve King, Carroll Morgan
Exits in the Refinement Calculus. Formal Aspects Comput. 7 (1) (1995)
Michael J. Butler, Carroll Morgan
Action Systemes, Unbounded Nondeterminism, and Infinite Traces. Formal Aspects Comput. 7 (1) (1995)
Carroll Morgan
Foreword: Special Issue on Mathematics of Program Construction. Sci. Comput. Program. 22 (1-2) (1994)
Paul H. B. Gardiner, Carroll Morgan
A Single Complete Rule for Data Refinement. Formal Aspects Comput. 5 (4) (1993)
Carroll Morgan
The Refinement Calculus, and Literate Development. Formal Program Development (1993)
Carroll Morgan
The Refinement Calculus. NATO ASI PDC (1992)
Paul H. B. Gardiner, Carroll Morgan
Data Refinement of Predicate Transformers. Theor. Comput. Sci. 87 (1) (1991)
Carroll Morgan, Trevor Vickers
Types and Invariants in the Refinement Calculus. Sci. Comput. Program. 14 (2-3) (1990)
Carroll Morgan, Paul H. B. Gardiner
Data Refinement by Calculation. Acta Informatica 27 (6) (1990)
Jim Woodcock, Carroll Morgan
Refinement of State-Based Concurrent Systems. VDM Europe (1990)
Carroll Morgan
Types and Invariants in the Refinement Calculus. MPC (1989)
Carroll Morgan
Procedures, parameters, and abstraction: Separate concerns. Sci. Comput. Program. 11 (1) (1988)
Carroll Morgan
Auxiliary Variables in Data Refinement. Inf. Process. Lett. 29 (6) (1988)
Carroll Morgan
Data Refinement by Miracles. Inf. Process. Lett. 26 (5) (1988)
Carroll Morgan
The Specification Statement. ACM Trans. Program. Lang. Syst. 10 (3) (1988)
C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin
Laws of Programming. Commun. ACM 30 (8) (1987)
Carroll Morgan
Global and Logical Time in Distributed Algorithms. Inf. Process. Lett. 20 (4) (1985)
Carroll Morgan, Bernard Sufrin
Specification of the UNIX Filing System. IEEE Trans. Software Eng. 10 (2) (1984)

Carroll Morgan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carroll Morgan