number | title/author |
---|---|
E03-1 | Formalization of VT Codes and Their Single-Deletion Correcting Property in Lean Yuki Kondo, Manabu Hagiwara, Midori Kudo, |
E03-2 | Formal Verification of Merkle-Damgård Construction in ProVerif Mieno Takehiko, Yoshimura Togo, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai, |
E03-3 | Formal Verification and Code-Generation of Mersenne-Twister Algorithm Takafumi Saikawa, Kazunari Tanaka, Kensaku Tanaka, |