Keyword:quantum cryptography

Publications
Quantum Cryptography in online Banking Anoushka Rastogi and Shilpi Sharma EasyChair Preprint 3545
Automated Verification of Equivalence on Quantum Cryptographic Protocols Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano and Hideki Sakurada In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Secure Communication over Zero-Private Capacity Quantum Channels Laszlo Gyongyosi and Sandor Imre In:Turing-100. The Alan Turing Centenary