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

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

---

Research Interests/Personal Data
Letos A lightweight execution tool for operational semantics
My publications: HTML PDF BibTex
Security publications of the research group: HTML PDF BibTex
Curriculum vitae
Teaching: Distributed E-Business Techniques DEBT, and Concurrent and Distributed Programming CDP
24CQET ("Twente for security"), the security interest group of the university of Twente.
SENTINELS A proposal for a national research programme on computer security.

---

Professional organisations, please join...
IFIP Working group 8.8 Smartcards
A platform for Security: Applications, Formal aspects and Environments, in the NetherLands SAFE NL
European Association for Programming Languages and Systems EAPLS

---

Address:
Distributed and Embedded Systems Group
Department of Computer Science
University of Twente
PO Box 217, 7500 AE Enschede, The Netherlands
Office: Computer Science building room 4061
Telephone: +31 (53) 4892411
Email:
WWW: http://www.cs.utwente.nl/~pieter/
PGP 5 public key

---

How to travel to Twente route description (We are in building 9 on the map)

---