Describing and Animating Quantum Protocols

&
In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 447-473 (2023)
  Copy   BIBTEX

Abstract

We introduce a quantum protocol simulator, the Qtpi simulator, which allows description of quantum protocols with multiple agents. It has protection against cloning and sharing of qbits within a simulation. Its symbolic calculator is adequate for the protocols we have examined, and can be pushed to simulate some non-protocol algorithms.

Categories

Keywords

Reprint years

DOI

10.1007/978-3-031-24117-8_12

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Continuous Variable Controlled Quantum Conference.Anirban Pathak & Ashwin Saxena - 2022 - Foundations of Physics 53 (1):1-23.
Verifying epistemic protocols under common knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts.Hans van Ditmarsch, Malvin Gattinger & Rahim Ramezanian - 2023 - Studia Logica 111 (3):453-499.
Everyone Knows that Everyone Knows.Rahim Ramezanian, Rasoul Ramezanian, Hans van Ditmarsch & Malvin Gattinger - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 117-133.
Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.
LTL model checking for security protocols.Alessandro Armando, Roberto Carbone & Luca Compagna - 2009 - Journal of Applied Non-Classical Logics 19 (4):403-429.
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.
Verifying one hundred prisoners and a lightbulb.Hans van Ditmarsch & Jan van Eijck - 2010 - Journal of Applied Non-Classical Logics 20 (3):173-191.
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.
Update Semantics of Security Protocols.Arjen Hommersom, John-Jules Meyer & Erik De Vink - 2004 - Synthese 142 (2):229 - 267.

Analytics

Added to PP
2023-08-04

Downloads
4 (#1,645,111)

6 months
1 (#1,722,083)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references