%0 Conference Paper %1 conf/nss/XiF14 %A Xi, Li %A Feng, Dengguo %B NSS %D 2014 %E Au, Man Ho %E Carminati, Barbara %E Kuo, C.-C. Jay %I Springer %K dblp %P 421-434 %T Formal Analysis of DAA-Related APIs in TPM 2.0. %U http://dblp.uni-trier.de/db/conf/nss/nss2014.html#XiF14 %V 8792 %@ 978-3-319-11697-6

@inproceedings{conf/nss/XiF14, added-at = {2017-05-17T00:00:00.000+0200}, author = {Xi, Li and Feng, Dengguo}, biburl = {https://www.bibsonomy.org/bibtex/28d164689748b0293b468627189093661/dblp}, booktitle = {NSS}, crossref = {conf/nss/2014}, editor = {Au, Man Ho and Carminati, Barbara and Kuo, C.-C. Jay}, ee = {https://doi.org/10.1007/978-3-319-11698-3_32}, interhash = {d5744e54b3b71937fd5c4be40ca9ce94}, intrahash = {8d164689748b0293b468627189093661}, isbn = {978-3-319-11697-6}, keywords = {dblp}, pages = {421-434}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:54:30.000+0200}, title = {Formal Analysis of DAA-Related APIs in TPM 2.0.}, url = {http://dblp.uni-trier.de/db/conf/nss/nss2014.html#XiF14}, volume = 8792, year = 2014 }