NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.CR2018

Scanning the Internet for ROS: A View of Security in Robotics Research

Nicholas DeMarinis, Stefanie Tellex, Vasileios Kemerlis +2

cs.NI2016

Compiling Stateful Network Properties for Runtime Verification

Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff +2