Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Carroll
    Last name: Morgan
    DBLP: m/CarrollMorgan
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 95  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen.
    A new proof rule for almost-sure termination.
    PACMPL 2018, Volume 2 (0) 2018
    Conference paper
    Carroll Morgan.
    A Demonic Lattice of Information.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Algebra for Quantitative Information Flow.
    Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Reasoning About Distributed Secrets.
    Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Sw 2017 (0) 2017
    Conference paper
    Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Abstract Hidden Markov Models: a monadic account of quantitative information flow.
    CoRR 2017, Volume 0 (0) 2017
    Journal article
    Annabelle McIver, Tahiry M. Rabehaja, Roland Wen, Carroll Morgan.
    Privacy in elections: How small is "small"?
    J. Inf. Sec. Appl. 2017, Volume 36 (0) 2017
    Journal article
    Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen.
    A New Proof Rule for Almost-Sure Termination.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Nicolás E. Bordenabe, Annabelle McIver, Carroll Morgan, Tahiry M. Rabehaja.
    Compositional security and collateral leakage.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah.
    Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.
    Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Mário S. Alvim, Konstantinos Chatzikokolakis 0001, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith.
    Axioms for Information Leakage.
    IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016 2016 (0) 2016
    Show item 1 to 10 of 95  

    Your query returned 95 matches in the database.