Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 S Pancho-Festin
CS 292 Advanced Topics in Information Systems - Information Retrieval
CS 293 Advanced Topics in Computer Systems - Programming for Multi-Core Platforms
Research
My main research interest is the verification of
cryptographic protocols. This includes the formalisation of protocols,
the application of formal methods for protocol analysis, and the evaluation
of the results from such analyses.
Conferences and Workshops
In the past I have been involved with:
2006 Philippine-Swiss I.T. School, Sept. 11-14, 2006 (at U.P. Diliman), Sept. 15, 2006 (at DLSU-Manila), in cooperation with De La Salle Canlubang, De La Salle Manila, and Swiss Federal Institute of Technology.
10th Australasian Conference on Information Security and Privacy on July 4-6, 2005 at Brisbane, Australia.
8th Information Security Conference (ISC '05) on 20-23 September 2005 at Singapore.
the ACM sponsored Asian International Mobile Conference as program committee member (2004,2002,2000).
the 17th ACM Symposium on Applied Computing - Special Track on Security,
March 10-14, 2002 as a reviewer.
Latex (and Latex-Generated) Stuff
UP Completion/Removal Form (PDF) Note that the auto-completion features of this form work only for Acrobat Reader version 4. (Here is a local copy of the Acrobat 4.0 Installer for Windows XP.) It seems that Adobe changed the PDF specs for versions 5 and 6 of their reader. If you have any ideas on how I can fix this, drop me a line. Disclaimer: This was just a small project I did to learn how to do auto-completion using Latex and pdflatex. Use at your own risk. :)
Latex Seminar slides (PDF). This was primarily for the CS 198 students of our department. Here is the Latex demo file used as an example, and here is the PDF file generated from that demo file. This is the sample Bibtex file.
a member of the UP Seventh Debating Team, competing in the Pi Sigma Debate Tournament (1990-1992) (some members later helped form the current UP Debate Society)