51 citations · 70 across the 2 of their papers we have counts for
1 paper · 1 filter
Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen +1
This paper discusses the use of computer-aided verification as a practical means for analysing quantum information systems; specifically, the BB84 protocol for quantum key distribu…