19 citations · 46 across the 6 of their papers we have counts for
1 paper · 2 filters
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…