This is my old master’s research page, recompiled. Original post could still be accessed here. -danny@acl.dcs.upd Danny Wuysang. MSCS student Algorithms and Complexity Lab Department of Computer Science University of the Philippines Diliman research interest E-VOTING, FORMAL VERIFICATION, COMPUTER SECURITY, THEORETICAL COMPUTER SCIENCE electronic voting references SYSTEMS   I started my research in e-voting reading papers on e-voting systems. These are the few that caught my attention. If you are interested in doing research on e-voting, these papers serve well as a starting point, then just follow the references and browse for other systems. I might add more as I stumble on interesting ones in theRead More →