1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2018
Scanning the Internet for ROS: A View of Security in Robotics Research
Nicholas DeMarinis, Stefanie Tellex, Vasileios Kemerlis +2
Because robots can directly perceive and affect the physical world, security issues take on particular importance. In this paper, we describe the results of our work on scanning th…
cs.NI2016★ 1 cited
Compiling Stateful Network Properties for Runtime Verification
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff +2
Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffect…