Abra\~ao Aires Urquiza

Identifiers

No identifiers captured yet.

Papers (1)

1. Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders cs.CR · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Carolyn Talcott 1 shared papers
• Vivek Nigam 1 shared papers