Scholar
Yong Kiam Tan
Google Scholar ID: WzG0S8MAAAAJ
Nanyang Technological University and Institute for Infocomm Research, A*STAR, Singapore
Formal Verification
Interactive Theorem Proving
Hybrid Systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,634
H-index
18
i10-index
27
Publications
20
Co-authors
44
list available
Contact
No contact links provided.
Publications
4 items
Scores Know Bobs Voice: Speaker Impersonation Attack
2026
Cited
0
Verified VCG and Verified Compiler for Dafny
2025
Cited
0
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
2025
Cited
0
I Can Find You in Seconds! Leveraging Large Language Models for Code Authorship Attribution
2025
Cited
0
Resume (English only)
Co-authors
44 total
Magnus Myreen
Chalmers University of Technology
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Co-author 3
Co-author 4
Co-author 5
Stefan Mitsch
School of Computing, DePaul University
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up