Search results

Publication date Communities Collections Article title Author(s) Journal/Conference
22 Sep 2025 SERC Institute for Infocomm Research Verification of the CVM Algorithm with a Functional Probabilistic Invariant Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan International Conference on Interactive Theorem Proving (ITP)
8 Aug 2025 SERC Institute for Infocomm Research Practically Feasible Proof Logging for Pseudo-Boolean Optimization (Pending publish) Wietze Koops, Daniel Le Berre, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan, Marc Vinyals International Conference on Principles and Practice of Constraint Programming (CP)
7 Aug 2025 SERC Institute for Infocomm Research Certifying Projected Knowledge Compilation (Pending publish) Randal E. Bryant, Yong Kiam Tan, Marijn J. H. Heule International Conference on Theory and Applications of Satisfiability Testing (SAT)
7 Aug 2025 SERC Institute for Infocomm Research Efficient Certified Reasoning for Binarized Neural Networks (Pending publish) Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel International Conference on Theory and Applications of Satisfiability Testing (SAT)
11 Nov 2024 SERC Institute for Infocomm Research Unsupervised Fingerphoto Presentation Attack Detection With Diffusion Models Hailin Li, Raghavendra Ramachandra, Mohamed Ragab, Soumik Mondal, Yong Kiam Tan, Khin Mi Mi Aung 2024 IEEE International Joint Conference on Biometrics (IJCB)
5 Sep 2024 SERC Institute for Infocomm Research Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems Sunpill Kim, Yong Kiam Tan, Bora Jeong, Soumik Mondal, Khin Mi Mi Aung, Jae Hong Seo 2024 IEEE Symposium on Security and Privacy (SP)
3 Aug 2024 SERC Institute for Infocomm Research Formalizing Coppersmith’s Method in Isabelle/HOL Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier Lecture Notes in Computer Science
25 Jul 2024 SERC Institute for Infocomm Research Formally Certified Approximate Model Counting Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel Lecture Notes in Computer Science
30 Jun 2024 SERC Institute for Infocomm Research Certified MaxSAT Preprocessing Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström Lecture Notes in Computer Science
25 Mar 2024 SERC Institute for Infocomm Research End-to-End Verification for Subgraph Solving Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan Proceedings of the AAAI Conference on Artificial Intelligence