bibtex

@article{GLL+6,
    title = {Automated Proofs of Block Cipher Modes of Operation },
    author = {Gagne, Martin and Lafourcade, Pascal and Lakhnech, Yassine and Safavi{-}Naini, Reihaneh},
    year = {2016},
    journal = {J. Autom. Reasoning},
    number = {1},
    pages = {49--94},
    volume = {56},
    team = {RSD, DCS},
}

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1274598