27 citations · 77 across the 18 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
Time-Sensitive Distributed Systems (TSDS), such as applications using autonomous drones, achieve goals under possible environment interference (\eg, winds). Moreover, goals are oft…
cs.CR2016
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
Vivek Nigam, Carolyn Talcott, Abraão Aires Urquiza
Timed Intruder Models have been proposed for the verification of Cyber-Physical Security Protocols (CPSP) amending the traditional Dolev-Yao intruder to obey the physical restricti…