3:30 PM - 4:00 PM [14p-416-5] Introduction of latest security proofs of quantum key distribution 〇Kiyoshi Tamaki1 (1.NTT BRL)