Publications
Search

Publications :: Search

Show author

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

    Author information
    First name: Joshua D.
    Last name: Guttman
    DBLP: 91/7024
    Rating: (not rated yet)
    Bookmark:

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

    Show item 1 to 10 of 84  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Joshua D. Guttman.
    Information Flow, Distributed Systems, and Refinement, by Example.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Megumi Ando, Joshua D. Guttman, Alberto R. Papaleo, John Scire.
    Hash-Based TPM Signatures for the Quantum World.
    Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings 2016 (0) 2016
    Conference paper
    Pedro Adão, Riccardo Focardi, Joshua D. Guttman, Flaminia L. Luccio.
    Localizing Firewall Security Policies.
    IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016 2016 (0) 2016
    Conference paper
    Paul D. Rowe, Joshua D. Guttman, Moses D. Liskov.
    Measuring protocol strength with security goals.
    Int. J. Inf. Sec. 2016, Volume 15 (0) 2016
    Conference paper
    Joshua D. Guttman, John D. Ramsdell, Paul D. Rowe.
    Cross-Tool Semantics for Protocol Security Goals.
    Security Standardisation Research - Third International Conference, SSR 2016, Gaithersburg, MD, USA, December 5-6, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Joshua D. Guttman, Paul D. Rowe.
    A Cut Principle for Information Flow.
    IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015 2015 (0) 2015
    Journal article
    Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe.
    Formal Support for Standardizing Protocols with State.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Joshua D. Guttman.
    Limited Disclosure and Locality in Graphs.
    Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday 2015 (0) 2015
    Conference paper
    Joshua D. Guttman, Moses D. Liskov, John D. Ramsdell, Paul D. Rowe.
    Formal Support for Standardizing Protocols with State.
    Security Standardisation Research - Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Megumi Ando, Joshua D. Guttman.
    Composable Bounds on Information Flow from Distribution Differences.
    Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers 2016 (0) 2015
    Show item 1 to 10 of 84  

    Your query returned 84 matches in the database.