A logic of interactive proofs

Lehnherr, David; Ognjanović, Zoran; Studer, Thomas (2022). A logic of interactive proofs. Journal of logic and computation, 32(8), pp. 1645-1658. Oxford University Press 10.1093/logcom/exac071

[img] Text
exac071.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.
Author holds Copyright

Download (335kB)

We introduce the probabilistic two-agent justification logic IPJ⁠, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of the probabilities in IPJ⁠, we present a new method of parametrizing IPJ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF) > Cryptology and Data Security Group
08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)

UniBE Contributor:

Lehnherr, David Benjamin, Studer, Thomas

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0955-792X

Publisher:

Oxford University Press

Language:

English

Submitter:

Atefeh Rohani

Date Deposited:

24 Jan 2023 16:54

Last Modified:

24 Jan 2023 23:27

Publisher DOI:

10.1093/logcom/exac071

BORIS DOI:

10.48350/177371

URI:

https://boris.unibe.ch/id/eprint/177371

Actions (login required)

Edit item Edit item
Provide Feedback