Fault-Resilient Non-interference. Tedesco, F. D., Sands, D., & Russo, A. In IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016, pages 401--416, 2016.
Paper doi bibtex @inproceedings{DBLP:conf/csfw/TedescoSR16,
author = {Filippo Del Tedesco and
David Sands and
Alejandro Russo},
title = {Fault-Resilient Non-interference},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {401--416},
year = {2016},
crossref = {DBLP:conf/csfw/2016},
url = {http://dx.doi.org/10.1109/CSF.2016.35},
doi = {10.1109/CSF.2016.35},
timestamp = {Mon, 19 Sep 2016 15:37:09 +0200},
biburl = {http://dblp.dagstuhl.de/rec/bib/conf/csfw/TedescoSR16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"Cf98XSTzWag8FEJ8y","bibbaseid":"tedesco-sands-russo-faultresilientnoninterference-2016","downloads":0,"creationDate":"2017-02-03T08:36:24.236Z","title":"Fault-Resilient Non-interference","author_short":["Tedesco, F. D.","Sands, D.","Russo, A."],"year":2016,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Sands:David","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Filippo","Del"],"propositions":[],"lastnames":["Tedesco"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]},{"firstnames":["Alejandro"],"propositions":[],"lastnames":["Russo"],"suffixes":[]}],"title":"Fault-Resilient Non-interference","booktitle":"IEEE 29th Computer Security Foundations Symposium, CSF 2016, Lisbon, Portugal, June 27 - July 1, 2016","pages":"401--416","year":"2016","crossref":"DBLP:conf/csfw/2016","url":"http://dx.doi.org/10.1109/CSF.2016.35","doi":"10.1109/CSF.2016.35","timestamp":"Mon, 19 Sep 2016 15:37:09 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/csfw/TedescoSR16","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/csfw/TedescoSR16,\n author = {Filippo Del Tedesco and\n David Sands and\n Alejandro Russo},\n title = {Fault-Resilient Non-interference},\n booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,\n Portugal, June 27 - July 1, 2016},\n pages = {401--416},\n year = {2016},\n crossref = {DBLP:conf/csfw/2016},\n url = {http://dx.doi.org/10.1109/CSF.2016.35},\n doi = {10.1109/CSF.2016.35},\n timestamp = {Mon, 19 Sep 2016 15:37:09 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/csfw/TedescoSR16},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Tedesco, F. D.","Sands, D.","Russo, A."],"key":"DBLP:conf/csfw/TedescoSR16","id":"DBLP:conf/csfw/TedescoSR16","bibbaseid":"tedesco-sands-russo-faultresilientnoninterference-2016","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/CSF.2016.35"},"downloads":0},"search_terms":["fault","resilient","non","interference","tedesco","sands","russo"],"keywords":[],"authorIDs":[],"dataSources":["GciRpJR9wsHeLoGmf"]}