Skip to main content

Carroll Morgan

Carroll Morgan
Senior Principal Researcher; Professor, UNSW

Research Interests

Formal methods; semantics; security; program correctness; probability.

Contact Details

Phone: +61 2 9490 5991
Email:Carroll.Morgan@data61.csiro.au

More contact information is available at the Contact page.

Photo of Carroll Morgan

Publication List

Projects

Current

Publications

Data61 Papers

2017

Abstract PDF Annabelle McIver, Carroll Morgan and Tahiry Rabehaja
Algebra for quantitative information flow
International Conference on Relational and Algebraic Methods in Computer Science , pp. 3-23, Lyon, France, May, 2017
Abstract PDF Carroll Morgan
A demonic lattice of information
Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday, pp. 203-222, Volume 10160 in LNCS, Springer, 2017

2016

Abstract PDF June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan and Christine Rizkallah
Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
International Conference on Interactive Theorem Proving, pp. 52-68, Nancy, France, August, 2016

NICTA Papers

2015

Abstract
Slides
PDF June Andronick, Corey Lewis and Carroll Morgan
Controlled owicki-gries concurrency: reasoning about the preemptible eChronos embedded operating system
Workshop on Models for Formal Analysis of Real Systems (MARS 2015), pp. 10-24, Suva, Fiji, November, 2015
Abstract PDF Carroll Morgan
Abstract hidden markov models: A monadic account of quantitative information flow
IEEE Symposium on Logic in Computer Science, pp. 597-608, Tokyo, Japan, July, 2015
Abstract
Slides
PDF Carroll Morgan
a nondeterministic lattice of information
One-hour invited talk at Mathematics of Program Construction, Königswinter, Germany, June, 2015

2014

Abstract PDF Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Carroll Morgan
Real reward testing for probabilistic processes
Theoretical Computer Science, Volume 538, pp. 16-36, July, 2014
Abstract PDF Carroll Morgan, Mário Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Catuscia Palamidessi and Geoffrey Smith
Additive and multiplicative notions of leakage, and their capacities
computer security foundations, pp. 308-322, vienna, Austria, July, 2014
Abstract PDF Carroll Morgan, Annabelle McIver, Geoffrey Smith, Barbara Espinoza and Larisa Meinicke
Abstract channels and their robust information-leakage ordering
Principles of Security and Trust (ETAPS), pp. 83-102, Grenoble, France, April, 2014

2011

Abstract PDF Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Carroll Morgan
Real reward testing for probabilistic processes (extended abstract)
Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011), pp. 61-73, Saarbrücken, Germany, July, 2011

2009

Abstract PDF Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Carroll Morgan
Testing finitary probabilistic processes (extended abstract)
20th International Conference on Concurrency Theory (CONCUR 2009), pp. 274-288, Bologna, Italy, August, 2009

2008

Abstract PDF Yuxin Deng, Rob van Glabbeek, Matthew Hennessy and Carroll Morgan
Characterising testing preorders for finite probabilistic processes
Logical Methods in Computer Science, Volume 4, Number 4, pp. 1-33, October, 2008

2007

Abstract PDF Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan and Cuicui Zhang
Characterising testing preorders for finite probabilistic processes
22nd Annual IEEE Symposium on Logic in Computer Science, LICS 2007, pp. 313-322, Wroclaw, Poland, July, 2007
Abstract PDF Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan and Cuicui Zhang
Remarks on testing probabilistic processes
Electronic Notes in Theoretical Computer Science, Volume 172, Number , pp. 359-397, April, 2007
Abstract PDF Yuxin Deng, Rob van Glabbeek, Carroll Morgan and Chenyi Zhang
Scalar outcomes suffice for finitary probabilistic testing
16th European Symposium on Programming, ESOP 2007, pp. 363-378, Braga, Portugal, March, 2007