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
[go: Go Back, main page]


 

Susan Pancho-Festin
MSc (London), PhD (Cantab)

 Department of Computer Science
 College of Engineering
 University of the Philippines
Diliman, Quezon City 1101
 
 

[Classes] [Research] [Conferences] [Latex Stuff] [Others]

21 Feb 2008



Classes for the Second Semester (2007-08):
 

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:



Latex (and Latex-Generated) Stuff



Others

    I am:

    I was:

Links

Last updated: 18 Sep 2006
Contact me by email :  spancho at acm dot no-spam org.