cees-bart

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
cees-bart

PGP key

-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.2.6 (GNU/Linux)

mQGiBEKLPeMRBACVdyr4ePNSw+6Axo13hBShGzGMZSxWlXwfsXGkHurbv/4lauHO
iHzMlJKlqq+7sMt11IMeizjR3hlujF1b8N2GesnHp23wN3D2a3/ckTt4oAqjIeX+
rz7NJQUtJZssdX4gcEzJM+4FKf0cbk3pqJOqfTlk0WKdRzl9BphjjrpRwwCg9Qt5
/e18bsdBZ/MrIh8+YyngaO8D/ie8IIx2cBs0iM0kp0WqeZoH+cZqDq6rXYd3Ng08
jfoBvhvvkS4klIwbQzvZJwQvOCQf7UZqruDWvC0fydXMu5PYPEjVS1TjvSJFw341
D/lzr7Zk+E7IcJuYXsg7drUFZvkn/EQevoKTZOYJr/8TWUiUxnEf78DZG8HE002Y
GbVRA/4/Zxqid2pAbiqxCf7nnbQyp3VasMh/Hl74lvAHHqKpOpKZM4NpenjzVzyo
1+Ut9v77QHGmh6KQfb9I63efAoVvhiQo42LlCNC757T3+ZAeo6sXMu2CrzjzbhDp
6qdpm1W93j/pjdU2VWXl6tbtD7X/Xa9sYbtIOT5WxM4xq05oJLQkY2Vlcy1iYXJ0
IGJyZXVuZXNzZSA8Y2Vlc2JAY3MucnUubmw+iF4EExECAB4FAkKLPeMCGwMGCwkI
BwMCAxUCAwMWAgECHgECF4AACgkQaawyEu04yyu/+wCfXHfWemyck2K7pcczM2Xc
nzpcW0sAn0cjk84udryUmsNux88r9L6LtrqquQINBEKLPfsQCACmUawnEIudVpTS
NEz9gDmCbipn4Tj54SaPpR64RZ1kbWHlihC6EiVTWQB7/PZs8FW/QHhp0La+s0VF
qMNMdjGwqK81PHPt5KUB2sbEtv70lS7xoPEEi8qqGQ6KMIAOyiFMVDnnlveNAqAw
ReVOceSAcAtApcOQK1YAtZ+LbnaV/k8cPnoE4KqsNlySIOCyibJ5zh4UyPUXOYjz
COTKvGIDXV6B4SSRvv38xg7ZRhxAAPkfKT7Q42eFC8yWkagfOm+Tc+ifPL5Vedjg
8XxKBwfrN7F3eIzoBlTdHASGlIdSVg//nwL6VvCvtnidtV/QqhQtMpdE9hmoqUsH
Tdxto+AHAAMFB/9J2B9xKUa5RCsWHtsXAYFMFwDKAZ2Z094ucDE/SLmfGaZtuLaN
GuV5vqpbAEuHmBNBDc7/Yx+BD8JRMeBMR3+96Lo2rs0Zag0xx445zIUqZ6iZFOyj
0ZGjh/MldFwap4mptlLMPNzUqt1Kv/duQxVRaUWbUFwShq16IPMIsMs/RCKrE2+2
DvxSd3us3U80bX+j7J7gdW81ziLc3jFTGhvhlE2hbAZhZF8akprgMkE89MLDSiJn
feaOP6QIUqjPfEHL+258MTJfk/WRRckbM8eZhqXFlPlbQI7vKtC5ao5wSZUp9kxW
BiovVJ6e5om14Cz+1bpTQg8nSJt53LAdu4pkiEkEGBECAAkFAkKLPfsCGwwACgkQ
aawyEu04yyub6QCfV1fTVTzY9WLuJ4K2cDwAiSxrNiMAoKgN9GHW6KuRT/IDlfb0
fsd5LtTu
=aNfO
-----END PGP PUBLIC KEY BLOCK-----

Publications:

Formal Methods for Smart Cards: an experience report (bib entry) (Technical Report NIII-R0316)
C.-B. Breunesse, N. Catano, M. Huisman, B.P.F. Jacobs

Verifying JML specifications with model fields (bib entry) (ECOOP workshop FTFJP '03)
C.-B. Breunesse, E. Poll

Specifying and Verifying a decimal representation in Java for smart cards (sources + specs) (bib entry) (AMAST 2002)
C.-B. Breunesse, B. Jacobs, J. van den Berg

On the Role of Invariants in Reasoning about Object-Oriented Languages (FTFJP 2001)
J. van den Berg, C.-B. Breunesse, B. Jacobs, E. Poll

Voting using Java Card smart cards: A case study (informal proceedings Verificard Meeting 2002)
C.-B. Breunesse, B. Jacobs, and M. Oostdijk

Software vulnerability discoveries

IBM AIX PAGINIT Local Buffer Overflow Vulnerability (Dec 20, 2004)

IBM AIX Diag Local Privilege Escalation Vulnerabilities (Dec 20, 2004)

Links:

I work for a project called VerifiCard, together with E. Hubbers, B. Jacobs, M. Oostdijk and E. Poll. My address info can be found here. I have a friend who is 2 meters and 10 centimeters tall, and who is very good at taking care of children. He also likes cats and dogs. Mo and Me are better at playing computer games than taking care of children or animals. We are the leaders of the Worlds Worst Clan: the "Cmdr Clan".

A link to my roommate

Link!

A picture of Hanne

tss

Picture galleries

Some black'n whites

Marktoberdorf summer school 2002

FOSAD 2001