%0 Conference Paper %1 conf/stm/KunnemannS12 %A Künnemann, Robert %A Steel, Graham %B STM %D 2012 %E Jøsang, Audun %E Samarati, Pierangela %E Petrocchi, Marinella %I Springer %K dblp %P 257-272 %T YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM. %U http://dblp.uni-trier.de/db/conf/stm/stm2012.html#KunnemannS12 %V 7783 %@ 978-3-642-38003-7

@inproceedings{conf/stm/KunnemannS12, added-at = {2017-05-24T00:00:00.000+0200}, author = {Künnemann, Robert and Steel, Graham}, biburl = {https://www.bibsonomy.org/bibtex/20e4f6e705c4b2b51a0417b6cd6985024/dblp}, booktitle = {STM}, crossref = {conf/stm/2012}, editor = {Jøsang, Audun and Samarati, Pierangela and Petrocchi, Marinella}, ee = {https://doi.org/10.1007/978-3-642-38004-4_17}, interhash = {b9ff6782b36f16085602f399ff455240}, intrahash = {0e4f6e705c4b2b51a0417b6cd6985024}, isbn = {978-3-642-38003-7}, keywords = {dblp}, pages = {257-272}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:57:18.000+0200}, title = {YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM.}, url = {http://dblp.uni-trier.de/db/conf/stm/stm2012.html#KunnemannS12}, volume = 7783, year = 2012 }