%0 Conference Paper %1 conf/esorics/AskarovS05 %A Askarov, Aslan %A Sabelfeld, Andrei %B ESORICS %D 2005 %E di Vimercati, Sabrina De Capitani %E Syverson, Paul F. %E Gollmann, Dieter %I Springer %K dblp %P 197-221 %T Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study. %U http://dblp.uni-trier.de/db/conf/esorics/esorics2005.html#AskarovS05 %V 3679 %@ 3-540-28963-1

@inproceedings{conf/esorics/AskarovS05, added-at = {2019-08-20T00:00:00.000+0200}, author = {Askarov, Aslan and Sabelfeld, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/2497a60e52d1c58c5943ca7289eaefc4e/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_12}, interhash = {8af14e7579fe70e5fb22c2f42fad721f}, intrahash = {497a60e52d1c58c5943ca7289eaefc4e}, isbn = {3-540-28963-1}, keywords = {dblp}, pages = {197-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T12:16:52.000+0200}, title = {Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics2005.html#AskarovS05}, volume = 3679, year = 2005 }