Selected publications at LSV

@inproceedings{DKRS-secco10,
   address = {Paris, France},
   author = {Delaune, St{\'e}phanie and Kremer, Steve and Ryan, Mark D. and Steel, Graham},
   booktitle = {{P}reliminary {P}roceedings of the 8th {I}nternational {W}orkshop on {S}ecurity {I}ssues in {C}oordination {M}odels, {L}anguages and {S}ystems ({SecCo}'10)},
   editor = {Cortier, V{\'e}ronique and Chatzikokolakis, Kostas},
   month = aug,
   title = {A~Formal Analysis of Authentication in the {TPM} (short paper)},
   url = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DKRS-secco10.pdf},
   year = {2010},
}

About LSV