Abraão Aires Urquiza
According to our database1,
Abraão Aires Urquiza
authored at least 5 papers
between 2016 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
0
1
2
3
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
2019
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019
Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019
2018
2016
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders.
Proceedings of the Computer Security - ESORICS 2016, 2016