We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties such as xor, we extend the conventional Dolev-Yao model by permitting the intruder to exploit these properties. We sh...

We show a new duality between the polynomial margin complexity of f and the discrepancy of the function f ◦XOR, called an XOR function. Using this duality, we develop polynomial based techniques for understanding the bounded error (BPP) and the weakly-unbounded error (PP) communication complexities of XOR functions. This enables us to show the following. • A weak form of an interesting conjectu...

Xanthine oxidoreductase(XOR)plays an important role in many pathologies, such as tumors, chronic hypoxia, renal injury, hypertension and so on. In this article we mainly review the current research about the regulation of activity and gene expression of XOR, and its physiochemical property, organ distribution, changes in tumors and relation with the other diseases. We conclude that XOR is an im...

In this work a new schedule for XOR design is going to be considered. We will first implement SDES algorithm in MATALAB they possess the most popular design criteria for block ciphers. they will replace the normal XOR function with neural network XOR function in the design process the motivation for the proposal is ability of neural networks to perform complex mapping function from one domain t...

In this note we shall characterize a topological property which is stronger than countable paracompactness but which is equivalent to it for normal spaces. A real valued function on a topological space X is locally bounded if each point has a neighborhood on which the function is bounded. Let C(X) denote the set of real valued continuous functions on X. A topological space is a cb-space if for ...

application of quantum-dot is a promising technology for implementing digital systems at nano-scale.  quantum-dot cellular automata (qca) is a system with low power consumption and a potentially high density and regularity. also, qca supports the new devices with nanotechnology architecture. this technique works based on electron interactions inside quantum-dots leading to emergence of quantum ...

Hybrid-logic implementation is highly suitable in the design of a full adder circuit to attain high-speed low-power consumption, which helps n any high speed ALUs that can be used varies processors and applicable for IoT- Application. XOR/XNOR-cell, Hybrid Full Adder (HFA) are fundamental building block perform arithmetic operation. In this paper, different types high-speed, 6T-XOR/XNOR-cell de...