The 2020 International Symposium on Information Theory and its Applications

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