%0 Conference Paper %1 conf/fsttcs/ChevalierDK11 %A Chevalier, Céline %A Delaune, Stéphanie %A Kremer, Steve %B FSTTCS %D 2011 %E Chakraborty, Supratik %E Kumar, Amit %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik %K dblp %P 204-216 %T Transforming Password Protocols to Compose. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2011.html#ChevalierDK11 %V 13 %@ 978-3-939897-34-7

@inproceedings{conf/fsttcs/ChevalierDK11, added-at = {2018-08-23T00:00:00.000+0200}, author = {Chevalier, Céline and Delaune, Stéphanie and Kremer, Steve}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b5bdb0b59f1cccf5d0b0276610512289/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2011}, editor = {Chakraborty, Supratik and Kumar, Amit}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2011.204}, interhash = {fdec5c467481ac73f77112a8e6e8e1b9}, intrahash = {b5bdb0b59f1cccf5d0b0276610512289}, isbn = {978-3-939897-34-7}, keywords = {dblp}, pages = {204-216}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, timestamp = {2019-09-27T19:29:55.000+0200}, title = {Transforming Password Protocols to Compose.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2011.html#ChevalierDK11}, volume = 13, year = 2011 }