Carroll Morgan

Orcid: 0000-0002-8535-9068

Affiliations:
  • University of New South Wales, Sydney, Australia


According to our database1, Carroll Morgan authored at least 107 papers between 1976 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Source-level reasoning for quantitative information flow.
CoRR, 2024

2023
A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker Products and Quantitative Information Flow.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022
Flexible and scalable privacy assessment for very large datasets, with an application to official governmental microdata.
Proc. Priv. Enhancing Technol., 2022

How to Develop an Intuition for Risk... and Other Invisible Phenomena (Invited Talk).
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021
Algorithmics.
Proceedings of the Advancing Research in Information and Communication Technology, 2021

The Laplace Mechanism has optimal utility for differential privacy over continuous queries.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
The Science of Quantitative Information Flow.
Information Security and Cryptography, Springer, ISBN: 978-3-319-96131-6, 2020

Preface.
Acta Informatica, 2020

Correctness by Construction for Probabilistic Programs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

2019
An axiomatization of information flow measures.
Theor. Comput. Sci., 2019

Abstract Hidden Markov Models: a monadic account of quantitative information flow.
Log. Methods Comput. Sci., 2019

Program algebra for quantitative information flow.
J. Log. Algebraic Methods Program., 2019

Categorical Information Flow.
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Proving that Programs Are Differentially Private.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018
A new proof rule for almost-sure termination.
Proc. ACM Program. Lang., 2018

2017
Privacy in elections: How small is "small"?
J. Inf. Secur. Appl., 2017

Reasoning About Distributed Secrets.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

A Demonic Lattice of Information.
Proceedings of the Concurrency, Security, and Puzzles, 2017

Algebra for Quantitative Information Flow.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016
A new rule for almost-certain termination of probabilistic and demonic programs.
CoRR, 2016

Compositional security and collateral leakage.
CoRR, 2016

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Axioms for Information Leakage.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015
Hidden-Markov program algebra with iteration.
Math. Struct. Comput. Sci., 2015

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015

2014
Real-reward testing for probabilistic processes.
Theor. Comput. Sci., 2014

Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).
Sci. Comput. Program., 2014

An old new notation for elementary probability theory.
Sci. Comput. Program., 2014

Abstractions of non-interference security: probabilistic versus possibilistic.
Formal Aspects Comput., 2014

(In-)Formal Methods: The Lost Art - A Users' Manual.
Proceedings of the Engineering Trustworthy Software Systems - First International School, 2014

Abstract Channels and Their Robust Information-Leakage Ordering.
Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.
Proceedings of the FM 2014: Formal Methods, 2014

Additive and Multiplicative Notions of Leakage, and Their Capacities.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013
Lattices of Information for Security: Deterministic, Demonic, Probabilistic.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10).
NII Shonan Meet. Rep., 2012

Compositional noninterference from first principles.
Formal Aspects Comput., 2012

Elementary Probability Theory in the Eindhoven Style.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011
Compositional refinement in agent-based security protocols.
Formal Aspects Comput., 2011

Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

2010
Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods.
Proceedings of the Static Analysis - 17th International Symposium, 2010

Compositional Closure for Bayes Risk in Probabilistic Noninterference.
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

The Thousand-and-One Cryptographers.
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009
The Shadow Knows: Refinement and security in sequential programs.
Sci. Comput. Program., 2009

How to Brew-up a Refinement Ordering.
Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Security, Probability and Nearly Fair Coins in the Cryptographers' Café.
Proceedings of the FM 2009: Formal Methods, 2009

<i>Sums and Lovers: </i> Case Studies in Security, Compositionality and Refinement.
Proceedings of the FM 2009: Formal Methods, 2009

Testing Finitary Probabilistic Processes.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Characterising Testing Preorders for Finite Probabilistic Processes.
Log. Methods Comput. Sci., 2008

Using probabilistic Kleene algebra pKA for protocol verification.
J. Log. Algebraic Methods Program., 2008

Proofs and Refutations for Probabilistic Refinement.
Proceedings of the FM 2008: Formal Methods, 2008

2007
Results on the quantitative µ-calculus qMµ.
ACM Trans. Comput. Log., 2007

Remarks on Testing Probabilistic Processes.
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Characterising Testing Preorders for Finite Probabilistic Processes.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Scalar Outcomes Suffice for Finitary Probabilistic Testing.
Proceedings of the Programming Languages and Systems, 2007

2006
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

<i>The Shadow Knows: </i> Refinement of Ignorance in Sequential Programs.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Using Probabilistic Kleene Algebra for Protocol Verification.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
Abstraction, Refinement and Proof for Probabilistic Systems
Monographs in Computer Science, Springer, ISBN: 978-0-387-27006-7, 2005

Probabilistic guarded commands mechanized in <i>HOL</i>.
Theor. Comput. Sci., 2005

Abstraction and refinement in probabilistic systems.
SIGMETRICS Perform. Evaluation Rev., 2005

An elementary proof that Herman's Ring is Theta (N<sup>2</sup>).
Inf. Process. Lett., 2005

A Novel Stochastic Game Via the Quantitative <i>mu</i>-calculus.
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

The Challenge of Probabilistic <i>Event B</i> - Extended Abstract.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Development via Refinement in Probabilistic B - Foundation and Case Study.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2004
Memoryless Strategies for Stochastic Games via Domain Theory.
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Developing and Reasoning About Probabilistic Programs in <i>pGCL</i>.
Proceedings of the Refinement Techniques in Software Engineering, 2004

Deriving Probabilistic Semantics Via the 'Weakest Completion'.
Proceedings of the Formal Methods and Software Engineering, 2004

Of Probabilistic Wp and SP-and Compositionality.
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL.
Theor. Comput. Sci., 2003

Results on the quantitative mu-calculus qMu
CoRR, 2003

Probabilistic Termination in B.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Probabilistic Invariants for Probabilistic Machines.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002
Games, Probability and the Quantitative µ-Calculus qMµ.
Proceedings of the Logic for Programming, 2002

2001
Partial correctness for probabilistic demonic programs.
Theor. Comput. Sci., 2001

Almost-Certain Eventualities and Abstract Probabilities in the Temporal Logic PTL.
Proceedings of the Computing: The Australasian Theory Symposium, 2001

Demonic, angelic and unbounded probabilistic choices in sequential programs.
Acta Informatica, 2001

Cost Analysis of Games, Using Program Logic.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001

2000
An Iterator Construct for the Refinement Calculus.
Proceedings of the 4th Irish Workshop on Formal Methods, 2000

1999
An Expectation-Transformer Model for Probabilistic Temporal Logic.
Log. J. IGPL, 1999

1998
The Generalised Substitution Language Extended to Probabilistic Programs.
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1996
Probabilistic Predicate Transformers.
ACM Trans. Program. Lang. Syst., 1996

Unifying wp and wlp.
Inf. Process. Lett., 1996

Refinement-Oriented Probability for CSP.
Formal Aspects Comput., 1996

1995
Exits in the Refinement Calculus.
Formal Aspects Comput., 1995

Action Systemes, Unbounded Nondeterminism, and Infinite Traces.
Formal Aspects Comput., 1995

1994
Foreword: Special Issue on Mathematics of Program Construction.
Sci. Comput. Program., 1994

Programming from specifications, 2nd Edition.
Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-123274-7, 1994

1993
A Single Complete Rule for Data Refinement.
Formal Aspects Comput., 1993

The Refinement Calculus, and Literate Development.
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

1992
The Refinement Calculus.
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992

1991
Data Refinement of Predicate Transformers.
Theor. Comput. Sci., 1991

1990
Types and Invariants in the Refinement Calculus.
Sci. Comput. Program., 1990

Data Refinement by Calculation.
Acta Informatica, 1990

Refinement of State-Based Concurrent Systems.
Proceedings of the VDM '90, 1990

Programming from specifications.
Prentice Hall International Series in computer science, Prentice Hall, ISBN: 978-0-13-726233-5, 1990

1989
Types and Invariants in the Refinement Calculus.
Proceedings of the Mathematics of Program Construction, 1989

1988
The Specification Statement.
ACM Trans. Program. Lang. Syst., 1988

Procedures, parameters, and abstraction: Separate concerns.
Sci. Comput. Program., 1988

Auxiliary Variables in Data Refinement.
Inf. Process. Lett., 1988

Data Refinement by Miracles.
Inf. Process. Lett., 1988

1987
Laws of Programming.
Commun. ACM, 1987

1985
Global and Logical Time in Distributed Algorithms.
Inf. Process. Lett., 1985

1984
Specification of the UNIX Filing System.
IEEE Trans. Software Eng., 1984

1983
Specification of a simplified Network Service in CSP.
Proceedings of the Analysis of Concurrent Systems, 1983

Specification of a simplified Network Service in Z.
Proceedings of the Analysis of Concurrent Systems, 1983

1976
A prime decomposition result for parallel systems.
SIGACT News, 1976


  Loading...