scholarly journals Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

2018 ◽  
Author(s):  
Jannik Dreier ◽  
Lucca Hirschi ◽  
Sasa Radomirovic ◽  
Ralf Sasse
Keyword(s):  
Cryptographic Protocols ◽  
Exclusive Or

scholarly journals Verification of stateful cryptographic protocols with exclusive OR

2020 ◽  
Vol 28 (1) ◽  
pp. 1-34
Author(s):  
Jannik Dreier ◽  
Lucca Hirschi ◽  
Saša Radomirović ◽  
Ralf Sasse
Keyword(s):  
Cryptographic Protocols ◽  
Exclusive Or

AN APPLICATION OF ESOP EXPRESSIONS TO SECURE COMPUTATIONS

2007 ◽  
Vol 16 (02) ◽  
pp. 191-198 ◽  
Author(s):  
TAKAAKI MIZUKI ◽  
TARO OTAGIRI ◽  
HIDEAKI SONE
Keyword(s):  
Minimal Model ◽  
Communication Complexity ◽  
Cryptographic Protocols ◽  
Historical Research ◽  
Cryptographic Protocol ◽  
Sum Of Products ◽  
Exclusive Or

This paper gives an application of exclusive-or sum-of-products (ESOP) expressions to designing cryptographic protocols. That is, this paper deals with secure computations in a minimal model, and gives a protocol which securely computes every function by means of the techniques of ESOP expressions. The communication complexity of our protocol is proportional to the size of an obtained multiple-valued-input ESOP expression. Since the historical research on minimizing ESOP expressions is now still active, our protocol will "automatically" turn to an efficient one as this research progresses. Thus, we hope that the existence of our cryptographic protocol would motivate further research on minimizing ESOP expressions.

USING SIMPLE DISJOINT DECOMPOSITION TO PERFORM SECURE COMPUTATIONS

2010 ◽  
Vol 19 (07) ◽  
pp. 1559-1569 ◽  
Author(s):  
MARINOS SAMPSON ◽  
DIMITRIOS VOUDOURIS ◽  
GEORGE PAPAKONSTANTINOU
Keyword(s):  
Minimal Model ◽  
Quantum Algorithms ◽  
Cryptographic Protocols ◽  
Secure Computation ◽  
Minimal Models ◽  
Function Decomposition ◽  
Exclusive Or

This paper deals with the use of a minimal model for performing secure computations. The communication is based on a protocol which makes use of disjoint function decomposition and more precisely of minimal ESCT (Exclusive-or Sum of Complex Terms) expressions in order to perform a secure computation. The complexity of this protocol is directly proportional to the size of the ESCT expression in use, which is much smaller in comparison to other proposed minimal models (e.g., ESOP). Moreover, quantum algorithms are discussed that provide significant speedup to the process of producing the ESCT expressions, when compared to conventional ones. Hence, this paper provides a very useful application of the ESCT expressions in the field of cryptographic protocols.

Algorithm for generating optimal tests for exclusive-or networks

1991 ◽  
Vol 138 (2) ◽  
pp. 93 ◽  
Author(s):  
W.H. Debany ◽  
C.R.P. Hartmann ◽  
T.J. Snethen
Keyword(s):  
Optimal Tests ◽  
Exclusive Or

Security Analysis of Wireless Authentication Protocols

2019 ◽  
Vol 9 (2) ◽  
pp. 247-252 ◽  
Author(s):  
Ashish Joshi ◽  
Amar Kumar Mohapatra
Keyword(s):  
Execution Time ◽  
Communication Systems ◽  
Security Analysis ◽  
Cryptographic Protocols ◽  
Command Line ◽  
Time Analysis ◽  
Authentication Protocols ◽  
Replay Attack ◽  
Peer Communication ◽  
Digital Communication Systems

Background & Objective: Cryptographic protocols had been evident method for ensuring con dentiality, Integrity and authentication in various digital communication systems. However the validation and analysis of such cryptographic protocols was limited to usage of formal mathematical models until few years back. Methods: In this paper, various popular cryptographic protocols have been studied. Some of these protocols (PAP, CHAP, and EAP) achieve security goals in peer to peer communication while others (RADIUS, DIAMETER and Kerberos) can work in multiparty environment. These protocols were validated and analysed over two popular security validation and analysis tools AVISPA and Scyther. The protocols were written according to their documentation using the HLPSL and SPDL for analysis over AVISPA and Scyther respectively. The results of these tools were analysed to nd the possible attack an each protocol. Afterwards The execution time analysis of the protocols were done by repeating the experiment for multiple iterations over the command line versions of these tools.As the literature review suggested, this research also validates that using password based protocols (PAP) is faster in terms of execution time as compared to other methods, Usage of nonces tackles the replay attack and DIAMETER is secure than RADIUS. Results and Conclusion: The results also showed us that DIAMETER is faster than RADIUS. Though Kerberos protocol was found to safe, the results tell us that it is compromisable under particular circumstances.

Blockchain technology for port logistics capability: Exclusive or sharing

2021 ◽  
Vol 149 ◽  
pp. 347-392
Author(s):  
Junjin Wang ◽  
Jiaguo Liu ◽  
Fan Wang ◽  
Xiaohang Yue
Keyword(s):  
Blockchain Technology ◽  
Port Logistics ◽  
Exclusive Or ◽  
Logistics Capability

scholarly journals A Reinforcement Learning Framework for Spiking Networks with Dynamic Synapses

2011 ◽  
Vol 2011 ◽  
pp. 1-12 ◽  
Author(s):  
Karim El-Laithy ◽  
Martin Bogdan
Keyword(s):  
Reinforcement Learning ◽  
Spike Timing ◽  
Neural Representation ◽  
Model Parameters ◽  
Learning Framework ◽  
Reference Target ◽  
Wide Range ◽  
Spiking Network ◽  
Dynamic Synapses ◽  
Exclusive Or

An integration of both the Hebbian-based and reinforcement learning (RL) rules is presented for dynamic synapses. The proposed framework permits the Hebbian rule to update the hidden synaptic model parameters regulating the synaptic response rather than the synaptic weights. This is performed using both the value and the sign of the temporal difference in the reward signal after each trial. Applying this framework, a spiking network with spike-timing-dependent synapses is tested to learn the exclusive-OR computation on a temporally coded basis. Reward values are calculated with the distance between the output spike train of the network and a reference target one. Results show that the network is able to capture the required dynamics and that the proposed framework can reveal indeed an integrated version of Hebbian and RL. The proposed framework is tractable and less computationally expensive. The framework is applicable to a wide class of synaptic models and is not restricted to the used neural representation. This generality, along with the reported results, supports adopting the introduced approach to benefit from the biologically plausible synaptic models in a wide range of intuitive signal processing.

scholarly journals Computing conditional entropies for quantum correlations

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
Peter Brown ◽  
Hamza Fawzi ◽  
Omar Fawzi
Keyword(s):  
Quantum Key Distribution ◽  
Detection Efficiency ◽  
Conditional Entropy ◽  
Key Distribution ◽  
Quantum Correlations ◽  
Upper Bounds ◽  
Cryptographic Protocols ◽  
Quantum States ◽  
Security Proofs

AbstractThe rates of quantum cryptographic protocols are usually expressed in terms of a conditional entropy minimized over a certain set of quantum states. In particular, in the device-independent setting, the minimization is over all the quantum states jointly held by the adversary and the parties that are consistent with the statistics that are seen by the parties. Here, we introduce a method to approximate such entropic quantities. Applied to the setting of device-independent randomness generation and quantum key distribution, we obtain improvements on protocol rates in various settings. In particular, we find new upper bounds on the minimal global detection efficiency required to perform device-independent quantum key distribution without additional preprocessing. Furthermore, we show that our construction can be readily combined with the entropy accumulation theorem in order to establish full finite-key security proofs for these protocols.

Sign in / Sign up

Export Citation Format

Share Document