By Emeritus Professor Carroll Morgan

Preprints

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

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

Back to profile page