%0 Journal Article %1 journals/eceasst/AffeldtNY09 %A Affeldt, Reynald %A Nowak, David %A Yamada, Kiyoshi %D 2009 %J ECEASST %K dblp %T Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#AffeldtNY09 %V 23

@article{journals/eceasst/AffeldtNY09, added-at = {2019-09-25T00:00:00.000+0200}, author = {Affeldt, Reynald and Nowak, David and Yamada, Kiyoshi}, biburl = {https://www.bibsonomy.org/bibtex/262bc83b00f3ab4d0e9278be845bab226/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.23.316}, interhash = {f1351253b372147ad6e87e3a9c3410eb}, intrahash = {62bc83b00f3ab4d0e9278be845bab226}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-09-26T12:05:54.000+0200}, title = {Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#AffeldtNY09}, volume = 23, year = 2009 }