Abraão Aires Urquiza

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 6

Top Topics

Security Protocols

Denial Of Service Attacks

Connectionist Models

Top Venues

Foundations of Security, Protocols, and Equational Reasoning

J. Comput. Secur.

Publications

Abraão Aires Urquiza, Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource and timing aspects of security protocols. J. Comput. Secur. 29 (3) (2021)
Abraão Aires Urquiza, Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott
Resource-Bounded Intruders in Denial of Service Attacks. CSF (2019)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Symbolic Timed Trace Equivalence. Foundations of Security, Protocols, and Equational Reasoning (2019)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Symbolic Timed Observational Equivalence. CoRR (2018)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. ESORICS (2) (2016)
Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders. CoRR (2016)