Sciweavers

    116
    Voted
    LICS
    2003
    IEEE
    82views Automated Reasoning» more  LICS 2003»
    An NP Decision Procedure for Protocol Insecurity with XOR
    15 years 8 months ago
    An NP Decision Procedure for Protocol Insecurity with XOR
    Download  people.inf.ethz.ch
    We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
    Yannick Chevalier, Ralf Küsters, Michaël...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.