分野別セミナー

We discuss some recent work wherein we build a high speed ECC implementation which held the world speed record, and which we were able to verify formally as correct using a semi-automated process of proof with existing techniques. It is the first time that a handcrafted assembly program of such length has been shown to be correct to specifications.