Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols

Sebastian Alexander Mödersheim, David Basin, Luca Viganò

    Research output: Contribution to journalJournal articleResearchpeer-review

    Fingerprint

    Dive into the research topics of 'Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols'. Together they form a unique fingerprint.

    Engineering & Materials Science