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
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
Co-authors
10 total
Magnus Myreen
Chalmers University of Technology
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Stefan Mitsch
School of Computing, DePaul University
Marijn Heule
Associate Professor of Computer Science, Carnegie Mellon University
Jakob Nordström
University of Copenhagen and Lund University
Khin Mi Mi Aung
Research Scientist, A*STAR, I2R, Singapore
Andreas Lööw
Royal Holloway, University of London
Ciaran McCreesh
University of Glasgow
