Dr. J. Pang

Update Persondata

Completed research projects

(the most recent research is at the top)
Researcher	Protocols for secure infrastructure and e-commerce
Doctoral/PhD student	Formal Verification of Distributed Systems