Thomas Hader

有限体の統一フレームワークを作ることで、暗号ソフトウェアの検証が強化されるよ。