Carroll Morgan
Orcid: 0000000285359068Affiliations:
 University of New South Wales, Sydney, Australia
According to our database^{1},
Carroll Morgan
authored at least 107 papers
between 1976 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on viaf.org

on orcid.org

on id.loc.gov

on dnb.info

on isni.org

on dl.acm.org
On csauthors.net:
Bibliography
2024
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
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
Information Security and Cryptography, Springer, ISBN: 9783319961316, 2020
Acta Informatica, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
2019
Theor. Comput. Sci., 2019
Abstract Hidden Markov Models: a monadic account of quantitative information flow.
Log. Methods Comput. Sci., 2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019
Proceedings of the Programming Languages and Systems  17th Asian Symposium, 2019
2018
Proc. ACM Program. Lang., 2018
2017
J. Inf. Secur. Appl., 2017
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017
Proceedings of the Concurrency, Security, and Puzzles, 2017
Proceedings of the Relational and Algebraic Methods in Computer Science, 2017
2016
CoRR, 2016
CoRR, 2016
Proceedings of the Interactive Theorem Proving  7th International Conference, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
2015
Math. Struct. Comput. Sci., 2015
Controlled OwickiGries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System.
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015
2014
Theor. Comput. Sci., 2014
Sci. Comput. Program., 2014
Sci. Comput. Program., 2014
Formal Aspects Comput., 2014
Proceedings of the Engineering Trustworthy Software Systems  First International School, 2014
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
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014
2013
Proceedings of the Formal Methods and Software Engineering, 2013
2012
Quantitative methods in security and safety critical applications (NII Shonan Meeting 201210).
NII Shonan Meet. Rep., 2012
Formal Aspects Comput., 2012
Proceedings of the Mathematics of Program Construction  11th International Conference, 2012
A KantorovichMonadic Powerdomain for Information Hiding, with Probability and Nondeterminism.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
2011
Formal Aspects Comput., 2011
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
2010
LinearInvariant Generation for Probabilistic Programs:  Automated Support for ProofBased Methods.
Proceedings of the Static Analysis  17th International Symposium, 2010
Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010
Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010
2009
Sci. Comput. Program., 2009
Proceedings of the 14th BCSFACS Refinement Workshop, 2009
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
Proceedings of the CONCUR 2009  Concurrency Theory, 20th International Conference, 2009
2008
Log. Methods Comput. Sci., 2008
J. Log. Algebraic Methods Program., 2008
Proceedings of the FM 2008: Formal Methods, 2008
2007
ACM Trans. Comput. Log., 2007
Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007
Proceedings of the Programming Languages and Systems, 2007
2006
ProgrammingLogic Analysis of Fault Tolerance: Expected Performance of Selfstabilisation.
Proceedings of the Rigorous Development of Complex FaultTolerant Systems [FP6 IST511599 RODIN project], 2006
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006
2005
Monographs in Computer Science, Springer, ISBN: 9780387270067, 2005
Theor. Comput. Sci., 2005
SIGMETRICS Perform. Evaluation Rev., 2005
Inf. Process. Lett., 2005
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005
2004
Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004
Proceedings of the Refinement Techniques in Software Engineering, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004
2003
Almostcertain eventualities and abstract probabilities in the quantitative temporal logic qTL.
Theor. Comput. Sci., 2003
CoRR, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
2002
Proceedings of the Logic for Programming, 2002
2001
Theor. Comput. Sci., 2001
AlmostCertain Eventualities and Abstract Probabilities in the Temporal Logic PTL.
Proceedings of the Computing: The Australasian Theory Symposium, 2001
Acta Informatica, 2001
Proceedings of the 8th AsiaPacific Software Engineering Conference (APSEC 2001), 2001
2000
Proceedings of the 4th Irish Workshop on Formal Methods, 2000
1999
Log. J. IGPL, 1999
1998
Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998
1996
ACM Trans. Program. Lang. Syst., 1996
Inf. Process. Lett., 1996
Formal Aspects Comput., 1996
1995
Formal Aspects Comput., 1995
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: 9780131232747, 1994
1993
Formal Aspects Comput., 1993
Proceedings of the Formal Program Development  IFIP TC2/WG 2.1 StateoftheArt Report, 1993
1992
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992
1991
Theor. Comput. Sci., 1991
1990
Sci. Comput. Program., 1990
Acta Informatica, 1990
Proceedings of the VDM '90, 1990
Programming from specifications.
Prentice Hall International Series in computer science, Prentice Hall, ISBN: 9780137262335, 1990
1989
Proceedings of the Mathematics of Program Construction, 1989
1988
ACM Trans. Program. Lang. Syst., 1988
Sci. Comput. Program., 1988
Inf. Process. Lett., 1988
Inf. Process. Lett., 1988
1987
Commun. ACM, 1987
1985
Inf. Process. Lett., 1985
1984
IEEE Trans. Software Eng., 1984
1983
Proceedings of the Analysis of Concurrent Systems, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1976
SIGACT News, 1976