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 cs.CRShow all

2 papers · 1 filter

cs.CR2021★ 1 cited

Intentional Forgetting

Deborah Shands, Carolyn Talcott

Many damaging cybersecurity attacks are enabled when an attacker can access residual sensitive information (e.g. cryptographic keys, personal identifiers) left behind from earlier…

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…