Carroll Morgan
Orcid: 0000-0002-8535-9068Affiliations:
- University of New South Wales, Sydney, Australia
According to our database1,
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 d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
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: 978-3-319-96131-6, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
2019
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
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
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
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
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 2012-10).
NII Shonan Meet. Rep., 2012
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
Formal Aspects Comput., 2011
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
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 BCS-FACS Refinement Workshop, 2009
Proceedings of the FM 2009: Formal Methods, 2009
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
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
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
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: 978-0-387-27006-7, 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
Almost-certain eventualities and abstract probabilities in the quantitative temporal logic qTL.
Theor. Comput. Sci., 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
Proceedings of the Computing: The Australasian Theory Symposium, 2001
Acta Informatica, 2001
Proceedings of the 8th Asia-Pacific 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
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: 978-0-13-123274-7, 1994
1993
Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art 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
1990
Programming from specifications.
Prentice Hall International Series in computer science, Prentice Hall, ISBN: 978-0-13-726233-5, 1990
1989
Proceedings of the Mathematics of Program Construction, 1989
1988
Sci. Comput. Program., 1988
1987
1985
1984
1983
Proceedings of the Analysis of Concurrent Systems, 1983
Proceedings of the Analysis of Concurrent Systems, 1983
1976