Chaos Computer Club (CCC) により開催されたハッカー・カンファレンス 27C3 において、Bushing 氏、Marcan 氏、Sven 氏の3名により PS3 の新たな exploit が公開されました。 PS3 では ECDSA と呼ばれる電子署名アルゴリズムが用いられているそうですが、そ…

考えるの面倒臭くなってmapとapplyで全て済ましたというメモ。 (define (ExGCD x y) ;;;Input: x, y in Z ;;;Output: a and b s.t. ax + by = gcd(a,b) (let loop ((r0 x) (r1 y) (a0 1) (a1 0) (b0 0) (b1 1)) (if (= r1 0) (values r0 a0 b0) (receive (q …

STOC 2010のY. Dodis, M. Pătraşcu, M. Thorupのが面白そうだとは思わんかね。 A[1...n] in {0,...,9}^nなるベクトルを考える。10進n桁の整数である。計算機上（PRAMでモデル化してる）で、各桁 A[i]を読み書きする機能を高速化しつつ保存容量をなるべく小さ…

2月中、書くの忘れてた。 博論が終わったので、色々読んでいる最中。 Toy soldiers楽しい. Tower Defenseに介入出来るだけでこんなに違うのね。 2010/121, 2010/127. 格子暗号でCCA2出来たよと言われましても、Peikert and Waters (STOC 2008) とPeikert (ST…

博論は最後の追い込み中らしい。卒業出来たら晴れて研究職です。 最初の半年は新人研修だとか。9-17なので研究出来るとか言われても。 SCIS中に査読1つ終えるとか。そしたらもう1個来るとかなんとか。 今年のナイトセッションではTwitter上の情報からソーシ…