Carolyn Talcott

Identifiers

• name variant Carolyn Talcott 0.60 · backfill

Papers (5)

1. Compliance in Real Time Multiset Rewriting Models cs.CC · 2018 · author #5
2. Symbolic Timed Observational Equivalence cs.LO · 2018 · author #2
3. Time, Computational Complexity, and Probability in the Analysis of Distance-Bounding Protocols cs.LO · 2017 · author #5
4. Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders cs.CR · 2016 · author #2
5. The Immune System: the ultimate fractionated cyber-physical system cs.CE · 2013 · author #1

Mentions

• 1309.5145 #1 · backfill · confidence 0.70 Carolyn Talcott

Frequent Coauthors

• Vivek Nigam 4 shared papers
• Andre Scedrov 2 shared papers
• Max Kanovich 2 shared papers
• Tajana Ban Kirigin 2 shared papers
• Abr\~aao Aires Urquiza 1 shared papers
• Abra\~ao Aires Urquiza 1 shared papers