Yong Kiam Tan
Scholar

Yong Kiam Tan

Google Scholar ID: WzG0S8MAAAAJ
Nanyang Technological University and Institute for Infocomm Research, A*STAR, Singapore
Formal VerificationInteractive Theorem ProvingHybrid Systems
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
Magnus Myreen
Chalmers University of Technology
André Platzer
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Stefan Mitsch
Stefan Mitsch
School of Computing, DePaul University
Co-author 7
Co-author 7
Co-author 8
Co-author 8