CORE

🇺🇦   make metadata, not war

    5 research outputs found

    Pathway analysis of IMC

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Online Research Database In Technology

    A Flow-Sensitive Analysis of Privacy Properties

    Author
    Publication venue
    'Institute of Electrical and Electronics Engineers (IEEE)'
    Publication date
    Field of study
    Get PDF
    Crossref
    Online Research Database In Technology

    Verification of Stochastic Process Calculi

    Author
    Publication venue
    Technical University of Denmark
    Publication date
    Field of study
    Get PDF
    Online Research Database In Technology

    A Verifiable Language for Cryptographic Protocols

    Author
    Publication venue
    Technical University of Denmark
    Publication date
    Field of study
    Get PDF
    Online Research Database In Technology

    Data Flow Analysis for {CCS}

    Author
    Publication venue
    'Springer Fachmedien Wiesbaden GmbH'
    Publication date
    Field of study
    No full text
    Online Research Database In Technology
    corecore