Carolyn Talcott

Publications

Export list as BibTeX file

• December 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas , Vivek Nigam and Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), pages 1-8, December 2020. IEEE. Details DOI BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov and Carolyn Talcott In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 192–213, 2019. Springer. Details BIB
• 2019 A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols Musab A. Alturki , Tajana Ban Kirigin , Max Kanovich , Vivek Nigam , Andre Scedrov and Carolyn Talcott pages 192–213, 2019. Details DOI BIB
• 2019 Formal Security Verification of Industry 4.0 Applications Vivek Nigam and Carolyn Talcott In 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, pages 1043–1050, 2019. IEEE. Details DOI BIB
• 2019 Symbolic Timed Trace Equivalence Vivek Nigam , Carolyn Talcott and Abraão Aires Urquiza In Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows, volume 11565 of Lecture Notes in Computer Science, pages 89–111, 2019. Springer. Details DOI BIB
• 2018 Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. Musab A. Alturki , Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott and Tajana Ban Kirigin In "Workshop on Foundations of Computer Security", 2018. Details BIB
• 2017 A Framework for Analyzing Adaptive Autonomous Aerial Vehicles Ian Mason , Vivek Nigam , Carolyn Talcott and Alisson Vasconcelos De Brito In Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pages 406–422, 2017. Details URL DOI BIB
• 2017 A rewriting framework and logic for activities subject to regulations Max Kanovich , Tajana Ban Kirigin , Vivek Nigam , Andre Scedrov , Ranko Perovic and Carolyn Talcott Mathematical Structures in Computer Science, 27(3):332–375, 2017. Details URL DOI BIB
• 2017 Time, computational complexity, and probability in the analysis of distance-bounding protocols Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott and Tajana Ban Kirigin Journal of Computer Security, 25(6):585–630, 2017. Details URL DOI BIB