Seng Joe Watt

Formalization of 3-independence of simple tabulation hashing

by Wei De Leong, Yong Kiam Tan and Seng Joe Watt

Verification of the CVM algorithm with a New Recursive Analysis Technique

by Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan and Seng Joe Watt