activity
20162022
most citedLearning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data

5 citations · 6 across the 3 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

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…