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