
TL;DR
This paper proposes a framework to analyze cryptographic protocols as resource-based systems, enabling the application of complexity-theoretic methods to assess their security and efficiency.
Contribution
It introduces a novel resource-based framework for cryptographic protocols, extending complexity analysis tools to evaluate security and resource costs in cryptography.
Findings
Framework allows analysis of computation, communication, and information resources.
Enables complexity-theoretic evaluation of cryptographic protocol security.
Facilitates comparison of protocols based on resource consumption.
Abstract
Previously, the author has developed a framework within which to quantify and compare the resources consumed during computational-especially unconventional computational-processes (adding to the familiar resources of run-time and memory space such non-standard resources as precision and energy); it is natural and beneficial in this framework to employ various complexity-theoretic tools and techniques. Here, we seek an analogous treatment not of computational processes but of cryptographic protocols and similar, so as to be able to apply the existing arsenal of complexity-theoretic methods in new ways, in the derivation and verification of protocols in a wider, cryptographic context. Accordingly, we advocate a framework in which one may view as resources the costs-which may be related to computation, communication, information (including side-channel information) or availability of…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
