Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (ESORICS (2), 2016)

Symbolic Timed Observational Equivalence. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (CoRR, 2018)

Symbolic Timed Trace Equivalence. - Vivek Nigam; Carolyn L. Talcott; Abraão Aires Urquiza (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Resource-Bounded Intruders in Denial of Service Attacks. - Abraão Aires Urquiza; Musab A. AlTurki; Max I. Kanovich; Tajana Ban Kirigin; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (CSF, 2019)

Resource and timing aspects of security protocols. - Abraão Aires Urquiza; Musab A. Alturki; Tajana Ban Kirigin; Max I. Kanovich; Vivek Nigam; Andre Scedrov; Carolyn L. Talcott (J. Comput. Secur., 2021)