Follow
Cole Vick
Cole Vick
PhD Student, University of Texas at Austin
Verified email at cs.utexas.edu
Title
Cited by
Cited by
Year
Automated attacker synthesis for distributed protocols
M von Hippel, C Vick, S Tripakis, C Nita-Rotaru
Computer Safety, Reliability, and Security: 39th International Conference …, 2020
122020
Synthesizing history and prophecy variables for symbolic model checking
C Vick, KL McMillan
International Conference on Verification, Model Checking, and Abstract …, 2023
32023
Counterexample classification
C Vick, E Kang, S Tripakis
Software and Systems Modeling, 1-18, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–3