Y. Kawamoto (@y_kwmt)

投稿一覧(最新100件)

暗号の安全性をコンピュータ上で証明する方法についての解説論文が「コンピュータソフトウェア」に掲載されました。一応、暗号も形式手法も知らない読者を念頭に書いたつもりです。 https://t.co/NdOZVg38Ai https://t.co/ISaEPudBOR

お気に入り一覧(最新100件)

フォロー(118ユーザ)の投稿一覧(直近7日間)

フォロワー(129ユーザ)の投稿一覧(直近7日間)