Inproceedings,
Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.
J. Liu, J. Corbett-Davies, A. Ferraiuolo, A. Ivanov, M. Luo, G. Suh, A. Myers, and M. Campbell.CPS-SPC@CCS, page 48-59. ACM, (2018)
Meta data
- BibTeX key
- conf/ccs/LiuCFILSMC18
- entry type
- inproceedings
- booktitle
- CPS-SPC@CCS
- year
- 2018
- pages
- 48-59
- publisher
- ACM
- crossref
- conf/ccs/2018cpsspc
- ee
- https://doi.org/10.1145/3264888.3264889
- isbn
- 978-1-4503-5992-4
- url
- http://dblp.uni-trier.de/db/conf/ccs/cpsspc2018.html#LiuCFILSMC18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ccs/LiuCFILSMC18
%A Liu, Jed
%A Corbett-Davies, Joe
%A Ferraiuolo, Andrew
%A Ivanov, Alexander
%A Luo, Mulong
%A Suh, G. Edward
%A Myers, Andrew C.
%A Campbell, Mark E.
%B CPS-SPC@CCS
%D 2018
%E Lie, David
%E Mannan, Mohammad
%I ACM
%K dblp
%P 48-59
%T Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.
%U http://dblp.uni-trier.de/db/conf/ccs/cpsspc2018.html#LiuCFILSMC18
%@ 978-1-4503-5992-4
@inproceedings{conf/ccs/LiuCFILSMC18,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Liu, Jed and Corbett-Davies, Joe and Ferraiuolo, Andrew and Ivanov, Alexander and Luo, Mulong and Suh, G. Edward and Myers, Andrew C. and Campbell, Mark E.},
biburl = {https://www.bibsonomy.org/bibtex/2e82d8ebd3f88326ac11e811d79c07f5e/dblp},
booktitle = {CPS-SPC@CCS},
crossref = {conf/ccs/2018cpsspc},
editor = {Lie, David and Mannan, Mohammad},
ee = {https://doi.org/10.1145/3264888.3264889},
interhash = {8aa29ce74ae28c1dd5620ebbde867362},
intrahash = {e82d8ebd3f88326ac11e811d79c07f5e},
isbn = {978-1-4503-5992-4},
keywords = {dblp},
pages = {48-59},
publisher = {ACM},
timestamp = {2024-04-10T19:04:52.000+0200},
title = {Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.},
url = {http://dblp.uni-trier.de/db/conf/ccs/cpsspc2018.html#LiuCFILSMC18},
year = 2018
}