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},
}


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

info visites 4137657