@Misc{Tedesco+:CSF16-Extended,
  author = {Filippo Del Tedesco and David Sands and Alejandro Russo},
  title = {Fault Resilient Non-ininterference (Extended Version)},
  note= {Extended version of CSF'16 paper including full proofs},
  year = 2016,
  url_Paper = 	 {http://www.cse.chalmers.se/~dave/papers/CSF2016-extended.pdf}
}

{"_id":"YGoHJt8tSfLhDWkCf","bibbaseid":"tedesco-sands-russo-faultresilientnonininterferenceextendedversion-2016","downloads":0,"creationDate":"2017-02-03T08:24:26.766Z","title":"Fault Resilient Non-ininterference (Extended Version)","author_short":["Tedesco, F. D.","Sands, D.","Russo, A."],"year":2016,"bibtype":"misc","biburl":"http://www.cse.chalmers.se/~dave/davewww2016.bib","bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Filippo","Del"],"propositions":[],"lastnames":["Tedesco"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]},{"firstnames":["Alejandro"],"propositions":[],"lastnames":["Russo"],"suffixes":[]}],"title":"Fault Resilient Non-ininterference (Extended Version)","note":"Extended version of CSF'16 paper including full proofs","year":"2016","url_paper":"http://www.cse.chalmers.se/~dave/papers/CSF2016-extended.pdf","bibtex":"@Misc{Tedesco+:CSF16-Extended,\n author = {Filippo Del Tedesco and David Sands and Alejandro Russo},\n title = {Fault Resilient Non-ininterference (Extended Version)},\n note= {Extended version of CSF'16 paper including full proofs},\n year = 2016,\n url_Paper = \t {http://www.cse.chalmers.se/~dave/papers/CSF2016-extended.pdf}\n}\n\n","author_short":["Tedesco, F. D.","Sands, D.","Russo, A."],"key":"Tedesco+:CSF16-Extended","id":"Tedesco+:CSF16-Extended","bibbaseid":"tedesco-sands-russo-faultresilientnonininterferenceextendedversion-2016","role":"author","urls":{" paper":"http://www.cse.chalmers.se/~dave/papers/CSF2016-extended.pdf"},"downloads":0},"search_terms":["fault","resilient","non","ininterference","extended","version","tedesco","sands","russo"],"keywords":[],"authorIDs":["58943e3a2f18920f4c000022"],"dataSources":["SBHWXKotbthoEYKJv"]}