Seguir
Cole Vick
Cole Vick
PhD Student, University of Texas at Austin
Email confirmado em cs.utexas.edu
Título
Citado por
Citado por
Ano
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
112020
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–3