Funder
Croatian Science Foundation
Engineering and Physical Sciences Research Council
U.S. Naval Research Laboratory
National Council for Scientific and Technological Development
U. S. Office of Naval Research
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Ademaj et al. Time sensitive networks for flexible manufacturing testbed—description of converged traffic types, IIC white paper 2019.
2. AlTurki MA, Kanovich M, Ban Kirigin T, Nigam V, Scedrov A, Talcott C. Statistical model checking of distance fraud attacks on the Hancke-Kuhn family of protocols. In: Proceedings of the 2018 workshop on cyber-physical systems security and privacy, 60–71. ACM 2018. https://dl.acm.org/doi/10.1145/3264888.3264895
3. AlTurki MA, Ban Kirigin T, Kanovich M, Nigam V, Scedrov A, Talcott C. On security analysis of periodic systems: expressiveness and complexity. In: ICISSP 2021-Proceedings of the 7th International Conference on information systems security and privacy. 2021;1:43–54.
4. Biere A, Cimatti A, Clarke EM, Strichman O, Zhu Y. Bounded model checking. Adv Comput. 2003;58:117–48.
5. Cyberattack has caused confirmed physical damage for the second time ever. 2015. https://www.wired.com/2015/01/german-steel-mill-hack-destruction/. Accessed 30 Sep 2021