ASIAN 2006

http://www.nii.ac.jp/asian2006/

という国際学会(今年は東京)へ行っていました。日本では初めてだったとか。意外です。

日仏コンピュータセキュリティシンポジウムもそうでしたが、(自分にとっては)発表そのものより、発表者や参加者との議論&雑談のほうがメインになって*1、すごく多忙&充実した1週間でした。休憩時間やランチの間もいろいろな人との話がまったく途切れないので、トイレへ行くタイミングに困りました。:-) というか話し込んでいてランチも食べ損なったり…

*1:たとえばPatrick Cousotの「エアバスの飛行機等の制御ソフトウェアを抽象解釈で検証」とか、Iliano Cervesatoの「(Windowsネットワークの認証方式でもある)Kerberos PKINITの重大なセキュリティホールをlinear logicで発見」とか、他ですでに聞いた話も多かったので