@inproceedings{conf/memocode/SprengerGH04,
  added-at = {2019-02-13T00:00:00.000+0100},
  author = {Sprenger, Christoph and Gurov, Dilian and Huisman, Marieke},
  biburl = {https://www.bibsonomy.org/bibtex/2178a32a770e7b6b61be99dfe6e631cb7/dblp},
  booktitle = {MEMOCODE},
  crossref = {conf/memocode/2004},
  ee = {http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2004.1459857},
  interhash = {a4d5c298a40b63d2c1e2c4d2fe6b7946},
  intrahash = {178a32a770e7b6b61be99dfe6e631cb7},
  isbn = {0-7803-8509-8},
  keywords = {dblp},
  pages = {211-222},
  publisher = {IEEE Computer Society},
  timestamp = {2019-02-14T11:44:54.000+0100},
  title = {Compositional verification for secure loading of smart card applets.},
  url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2004.html#SprengerGH04},
  year = 2004
}

{"_id":"k3pM72ziahsYBmMDH","bibbaseid":"sprenger-gurov-huisman-compositionalverificationforsecureloadingofsmartcardapplets-2004","authorIDs":["5d14be645b939dee01000058"],"author_short":["Sprenger, C.","Gurov, D.","Huisman, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-02-13T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Sprenger"],"firstnames":["Christoph"],"suffixes":[]},{"propositions":[],"lastnames":["Gurov"],"firstnames":["Dilian"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2178a32a770e7b6b61be99dfe6e631cb7/dblp","booktitle":"MEMOCODE","crossref":"conf/memocode/2004","ee":"http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2004.1459857","interhash":"a4d5c298a40b63d2c1e2c4d2fe6b7946","intrahash":"178a32a770e7b6b61be99dfe6e631cb7","isbn":"0-7803-8509-8","keywords":"dblp","pages":"211-222","publisher":"IEEE Computer Society","timestamp":"2019-02-14T11:44:54.000+0100","title":"Compositional verification for secure loading of smart card applets.","url":"http://dblp.uni-trier.de/db/conf/memocode/memocode2004.html#SprengerGH04","year":"2004","bibtex":"@inproceedings{conf/memocode/SprengerGH04,\n added-at = {2019-02-13T00:00:00.000+0100},\n author = {Sprenger, Christoph and Gurov, Dilian and Huisman, Marieke},\n biburl = {https://www.bibsonomy.org/bibtex/2178a32a770e7b6b61be99dfe6e631cb7/dblp},\n booktitle = {MEMOCODE},\n crossref = {conf/memocode/2004},\n ee = {http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2004.1459857},\n interhash = {a4d5c298a40b63d2c1e2c4d2fe6b7946},\n intrahash = {178a32a770e7b6b61be99dfe6e631cb7},\n isbn = {0-7803-8509-8},\n keywords = {dblp},\n pages = {211-222},\n publisher = {IEEE Computer Society},\n timestamp = {2019-02-14T11:44:54.000+0100},\n title = {Compositional verification for secure loading of smart card applets.},\n url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2004.html#SprengerGH04},\n year = 2004\n}\n\n","author_short":["Sprenger, C.","Gurov, D.","Huisman, M."],"key":"conf/memocode/SprengerGH04","id":"conf/memocode/SprengerGH04","bibbaseid":"sprenger-gurov-huisman-compositionalverificationforsecureloadingofsmartcardapplets-2004","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/MEMCOD.2004.1459857","Paper":"http://dblp.uni-trier.de/db/conf/memocode/memocode2004.html#SprengerGH04"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.031Z","downloads":0,"keywords":["dblp"],"search_terms":["compositional","verification","secure","loading","smart","card","applets","sprenger","gurov","huisman"],"title":"Compositional verification for secure loading of smart card applets.","year":2004,"dataSources":["sAaBbgDRpNpcvbGWj"]}