%0 Conference Paper %1 conf/ccs/RuchkinRNCG15 %A Ruchkin, Ivan %A Rao, Ashwini %A de Niz, Dionisio %A Chaki, Sagar %A Garlan, David %B CPS-SPC@CCS %D 2015 %E Ray, Indrajit %E Thomas, Roshan K. %E Cárdenas, Alvaro A. %I ACM %K dblp %P 11-22 %T Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. %U http://dblp.uni-trier.de/db/conf/ccs/cpsspc2015.html#RuchkinRNCG15 %@ 978-1-4503-3827-1

@inproceedings{conf/ccs/RuchkinRNCG15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Ruchkin, Ivan and Rao, Ashwini and de Niz, Dionisio and Chaki, Sagar and Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/23acbc34171fba11774c25792ec905a7d/dblp}, booktitle = {CPS-SPC@CCS}, crossref = {conf/ccs/2015cpsspc}, editor = {Ray, Indrajit and Thomas, Roshan K. and Cárdenas, Alvaro A.}, ee = {https://doi.org/10.1145/2808705.2808714}, interhash = {602ba80a1149949fab5491bfabbd025c}, intrahash = {3acbc34171fba11774c25792ec905a7d}, isbn = {978-1-4503-3827-1}, keywords = {dblp}, pages = {11-22}, publisher = {ACM}, timestamp = {2024-04-10T09:23:08.000+0200}, title = {Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.}, url = {http://dblp.uni-trier.de/db/conf/ccs/cpsspc2015.html#RuchkinRNCG15}, year = 2015 }