Helmholtz Center for Information Security

CISPA – Helmholtz-Zentrum für Informationssicherheit
Not a member yet
    3406 research outputs found

    Verifying hyperproperties of hardware systems

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    The First-Order Logic of Hyperproperties

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Listening to Whispers of Ripple: Linking Wallets and Deanonymizing Transactions in the Ripple Network

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Is Exploratory Search Different? A Comparison of Information Search Behavior for Exploratory and Lookup Tasks

    Author
    Publication venue
    Wiley
    Publication date
    Field of study
    No full text

    Deep Reflectance Maps

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Parameterized Verification of Asynchronous Shared-Memory Systems

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Safety Verification of Continuous-Space Pure Jump Markov Processes

    Author
    Publication venue
    Springer
    Publication date
    Field of study
    No full text

    Deciding Hyperproperties

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    A type theory for incremental computational complexity with control flow changes

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    Attributbasierte Verschlüsselung für die Justiz

    Author
    Publication venue
    Publication date
    Field of study
    No full text

    813

    full texts

    3,406

    metadata records
    Updated in last 30 days.
    CISPA – Helmholtz-Zentrum für Informationssicherheit
    Access Repository Dashboard
    Do you manage Open Research Online? Become a CORE Member to access insider analytics, issue reports and manage access to outputs from your repository in the CORE Repository Dashboard! 👇