Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM. - Satya Kuppam (SIMULTECH, 2018)

Fair decision making using privacy-protected data. - David Pujol; Ryan McKenna; Satya Kuppam; Michael Hay; Ashwin Machanavajjhala; Gerome Miklau (FAT*, 2020)