By Emeritus Professor Carroll Morgan

Preprints

Chen C; McIver A; Morgan C, 2025, Forward and Backward Simulations for Partially Observable Probability, http://dx.doi.org/10.48550/arxiv.2506.08437

Chen C; McIver A; Morgan C, 2024, Source-level reasoning for quantitative information flow, http://dx.doi.org/10.48550/arxiv.2405.13416

Alvim MS; Fernandes N; McIver A; Morgan C; Nunes GH, 2023, A novel analysis of utility in privacy pipelines, using Kronecker products and quantitative information flow, http://dx.doi.org/10.48550/arxiv.2308.11110

Alvim MS; Fernandes N; McIver A; Morgan C; Nunes GH, 2022, Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata, http://dx.doi.org/10.48550/arxiv.2204.13734

Fernandes N; McIver A; Morgan C, 2021, The Laplace Mechanism has optimal utility for differential privacy over continuous queries, http://dx.doi.org/10.48550/arxiv.2105.07176

McIver A; Morgan C; Rabehaja T, 2019, Abstract Hidden Markov Models: a monadic account of quantitative information flow, http://dx.doi.org/10.48550/arxiv.1708.01688

McIver A; Morgan C; Kaminski BL; Katoen J-P, 2017, A New Proof Rule for Almost-Sure Termination, http://dx.doi.org/10.48550/arxiv.1711.03588

Bordenabe N; McIver A; Morgan C; Rabehaja T, 2016, Compositional security and collateral leakage, http://dx.doi.org/10.48550/arxiv.1604.04983

Andronick J; Lewis C; Morgan C, 2015, Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System, http://dx.doi.org/10.48550/arxiv.1511.04170

Andronick J; Lewis C; Morgan C, 2015, Controlled owicki-gries concurrency: Reasoning about the preemptible eChronos embedded operating system, http://dx.doi.org/10.4204/EPTCS.196.2

Deng Y; van Glabbeek R; Hennessy M; Morgan C, 2011, Real-Reward Testing for Probabilistic Processes (Extended Abstract), http://dx.doi.org/10.48550/arxiv.1107.1201

McIver A; Meinicke L; Morgan C, 2011, Hidden-Markov Program Algebra with iteration, http://dx.doi.org/10.48550/arxiv.1102.0333

McIver A; Meinicke L; Morgan C, 2010, Compositional closure for Bayes Risk in probabilistic noninterference, http://dx.doi.org/10.48550/arxiv.1007.1054

Deng Y; Hennessy M; van Glabbeek R; Morgan C, 2008, Characterising Testing Preorders for Finite Probabilistic Processes, http://dx.doi.org/10.48550/arxiv.0810.3708

Back to profile page