Results 11 to 20 of about 684,168 (248)
, 2017 This chapter is concerned with cryptographic protocols. We begin with an explanation of what components a cryptographic protocol consists of. We then illustrate the complexity of designing a secure cryptographic protocol by considering an artificially ...
Keith M. Martin
core +2 more sources
Hierarchical Physical-Cyber Encryption via Metasurface-Encoded Holographic Keys. [PDF]
Adv Sci (Weinh)ABSTRACT Physical‐layer encryption based on metasurfaces has emerged as a promising alternative to conventional algorithmic cryptography by embedding security into physical processes. However, most existing metasurface‐based encryption schemes operate within single‐stage or static frameworks, where correct physical illumination directly reveals the ...
Liu Z +8 more
europepmc +2 more sources
Nonmonotonic cryptographic protocols [PDF]
Proceedings The Computer Security Foundations Workshop VII, 2002 The paper presents a new method for specifying and analyzing cryptographic protocols. The method offers several advantages over previous approaches. The technique is the first to allow reasoning about nonmonotonic protocols, which are needed for systems that rely on the deletion of information.
Aviel D. Rubin, Peter Honeyman
openaire +2 more sources
Exploiting Symmetries When Proving Equivalence Properties for Security Protocols [PDF]
, 2019 International audienceVerification of privacy-type properties for cryptographic protocols in an active adversarial environment, modelled as a behavioural equivalence in concurrent-process calculi, exhibits a high computational complexity.
Rakotonirina, Itsaka +5 more
core +6 more sources
Hardware acceleration of number theoretic transform for zk‐SNARK
Engineering Reports, EarlyView., 2023 An FPGA‐based hardware accelerator with a multi‐level pipeline is designed to support the large‐bitwidth and large‐scale NTT tasks in zk‐SNARK. It can be flexibly scaled to different scales of FPGAs and has been equipped in the heterogeneous acceleration system with the help of HLS and OpenCL.
Haixu Zhao +6 more
wiley +1 more source
Sequential rationality in cryptographic protocols [PDF]
ACM Transactions on Economics and Computation, 2010 Much of the literature on rational cryptography focuses on analyzing the strategic properties of cryptographic protocols. However, due to the presence of computationally-bounded players and the asymptotic nature of cryptographic security, a definition of sequential rationality for this setting has thus far eluded researchers.We propose a new framework ...
Ronen Gradwohl, Noam Livne, Alon Rosen
openaire +5 more sources
Programming Cryptographic Protocols [PDF]
, 2005 Cryptographic protocols are useful for trust engineering in distributed transactions. Transactions require specific degrees of confidentiality and agreement between the principals engaging in it. Moreover, trust management assertions may be attached to protocol actions, constraining the behavior of a principal to be compatible with its own trust policy.
Joshua D. Guttman +3 more
openaire +2 more sources
Verifying privacy by little interaction and no process equivalence [PDF]
, 2012 While machine-assisted verification of classical security goals such as confidentiality and authentication is well-established, it is less mature for recent ones. Electronic voting protocols claim properties such as voter privacy.
Butlin, D. +3 more
core +3 more sources
A Rational Approach to Cryptographic Protocols [PDF]
Mathematical and Computer Modelling, 2007 This work initiates an analysis of several cryptographic protocols from a rational point of view using a game-theoretical approach, which allows us to represent not only the protocols but also possible misbehaviours of parties. Concretely, several concepts of two-person games and of two-party cryptographic protocols are here combined in order to model ...
Pino Caballero-Gil +2 more
openaire +5 more sources
Cryptographic Protocol Reverse Method Based on Information Entropy and Closed Frequent Sequences [PDF]
Jisuanji kexueUnknown cryptographic protocols are widely used for the secure transmission of sensitive information,and reversing cryptographic protocol is of great significance to both attackers and defenders.In order to efficiently reverse complex cryptographic ...
LIANG Chen, HONG Zheng, WU Lifa, JI Qingbing
doaj +1 more source