392
W. Chang et al.
27. P. Kleberger, T. Olovsson, E. Jonsson, Security aspects of the in-vehicle network in the
connected car, IV, 2011
28. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor,
D. Anderson, H. Shacham, S. Savage, Experimental security analysis of a modern automobile,
SP, 2010
29. United States Department of Transportation, Security credential management system (SCMS)
30. H. Liang, M. Jagielski, B. Zheng, C.-W. Lin, E. Kang, S. Shiraishi, C. Nita-Rotaru, Q. Zhu,
Network and system level security in connected vehicle applications, ICCAD, 2018
31. J. Kenney, Dedicated short-range communications (DSRC) standards in the United States.
Proc. IEEE 99(7), 1162–1182 (2011)
32. M. Jagielski, N. Jones, C.-W. Lin, C. Nita-Rotaru, S. Shiraishi, Threat detection for collaborative adaptive cruise control in connected cars, WiSec, 2018
33. R. Carli, F. Fagnani, P. Frasca, S. Zampieri, Gossip consensus algorithms via quantized
communication. Automatica 46(1), 70–80 (2010)
34. L. Lamport, Paxos made simple. ACM SIGACT News (Distributed Computing Column) 32(4),
51–58 (2001)
35. R. Olfati-Saber, R. Murray, Consensus problems in networks of agents with switching topology
and time-delays. IEEE Trans. Autom. Control 49(9), 1520–1533 (2004)
36. C.-W. Lin, B. Zheng, Q. Zhu, A. Sangiovanni-Vincentelli, Security-aware design methodology
and optimization for automotive systems. ACM Trans. Des. Autom. Electron. Sys. (TODAES)
21(1)., 18:), 1–26 (2015)
37. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet, P. Reinkemeier, A.
Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. Larsen, Contracts for system design,
research report RR-8147, INRIA, 2012
38. B. Meyer, Applying “design by contract”. IEEE Comput. 25(10), 40–51 (1992)
39. L. Carloni, F. Bernardinis, C. Pinello, A. Sangiovanni-Vincentelli, M. Sgroi, Platform-based
design for embedded systems, Embedded Systems Handbook, pp. 1281–1304, 2005
W. Chang et al.
27. P. Kleberger, T. Olovsson, E. Jonsson, Security aspects of the in-vehicle network in the
connected car, IV, 2011
28. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor,
D. Anderson, H. Shacham, S. Savage, Experimental security analysis of a modern automobile,
SP, 2010
29. United States Department of Transportation, Security credential management system (SCMS)
30. H. Liang, M. Jagielski, B. Zheng, C.-W. Lin, E. Kang, S. Shiraishi, C. Nita-Rotaru, Q. Zhu,
Network and system level security in connected vehicle applications, ICCAD, 2018
31. J. Kenney, Dedicated short-range communications (DSRC) standards in the United States.
Proc. IEEE 99(7), 1162–1182 (2011)
32. M. Jagielski, N. Jones, C.-W. Lin, C. Nita-Rotaru, S. Shiraishi, Threat detection for collaborative adaptive cruise control in connected cars, WiSec, 2018
33. R. Carli, F. Fagnani, P. Frasca, S. Zampieri, Gossip consensus algorithms via quantized
communication. Automatica 46(1), 70–80 (2010)
34. L. Lamport, Paxos made simple. ACM SIGACT News (Distributed Computing Column) 32(4),
51–58 (2001)
35. R. Olfati-Saber, R. Murray, Consensus problems in networks of agents with switching topology
and time-delays. IEEE Trans. Autom. Control 49(9), 1520–1533 (2004)
36. C.-W. Lin, B. Zheng, Q. Zhu, A. Sangiovanni-Vincentelli, Security-aware design methodology
and optimization for automotive systems. ACM Trans. Des. Autom. Electron. Sys. (TODAES)
21(1)., 18:), 1–26 (2015)
37. A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet, P. Reinkemeier, A.
Sangiovanni-Vincentelli, W. Damm, T. Henzinger, K. Larsen, Contracts for system design,
research report RR-8147, INRIA, 2012
38. B. Meyer, Applying “design by contract”. IEEE Comput. 25(10), 40–51 (1992)
39. L. Carloni, F. Bernardinis, C. Pinello, A. Sangiovanni-Vincentelli, M. Sgroi, Platform-based
design for embedded systems, Embedded Systems Handbook, pp. 1281–1304, 2005