%0 Conference Paper %1 conf/esorics/AdaoBHS05 %A Adão, Pedro %A Bana, Gergei %A Herzog, Jonathan %A Scedrov, Andre %B ESORICS %D 2005 %E di Vimercati, Sabrina De Capitani %E Syverson, Paul F. %E Gollmann, Dieter %I Springer %K dblp %P 374-396 %T Soundness of Formal Encryption in the Presence of Key-Cycles. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2005.html#AdaoBHS05 %V 3679 %@ 3-540-28963-1

@inproceedings{conf/esorics/AdaoBHS05, added-at = {2019-09-25T00:00:00.000+0200}, author = {Adão, Pedro and Bana, Gergei and Herzog, Jonathan and Scedrov, Andre}, biburl = {https://www.bibsonomy.org/bibtex/2a839470336b79450ee509a33573d6d60/dblp}, booktitle = {ESORICS}, crossref = {conf/esorics/2005}, editor = {di Vimercati, Sabrina De Capitani and Syverson, Paul F. and Gollmann, Dieter}, ee = {https://doi.org/10.1007/11555827_22}, interhash = {79d1a4aae850a4a857f10aa1c281b3b6}, intrahash = {a839470336b79450ee509a33573d6d60}, isbn = {3-540-28963-1}, keywords = {dblp}, pages = {374-396}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T13:53:37.000+0200}, title = {Soundness of Formal Encryption in the Presence of Key-Cycles.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2005.html#AdaoBHS05}, volume = 3679, year = 2005 }