Abraão Aires Urquiza

According to our database, Abraão Aires Urquiza authored at least 5 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

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

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

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Symbolic Timed Trace Equivalence.

Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Symbolic Timed Observational Equivalence.

Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza

CoRR, 2018

2016

Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.

Vivek Nigam, Carolyn L. Talcott, Abraão Aires Urquiza

Proceedings of the Computer Security - ESORICS 2016, 2016