On the equivalence of two post-quantum cryptographic families

Implementation Attacks on Post-Quantum Cryptographic Schemes

Post-quantum cryptographic schemes have been developed in the last decade in response to the rise of quantum computers. Fortunately, several schemes have been developed with quantum resistance. However, there is very little effort in evaluating and comparing these schemes in the embedded settings. Low cost embedded devices represents a highly-constraint environment that challenges all post-quan...

Automated Verification of Equivalence on Quantum Cryptographic Protocols

It is recognized that security verification of cryptographic protocols tends to be difficult and in fact, some flaws on protocol designs or security proofs were found after they had been presented. The use of formal methods is a way to deal with such complexity. Especially, process calculi are suitable to describe parallel systems. Bisimilarity, which denotes that two processes behave indisting...

Homotopy Equivalence of Two Families of Complexes

Many years ago, in [2], a family of complexes was introduced which were to be considered generalizations of the usual Koszul complex, and in [3] they were studied in some detail, especially in relation to the generalized Cohen-Macaulay Theorem and a generalized multiplicity notion (see [8] and [9]). Given a commutative ring R, the idea was to take a map f : R → R (m ≥ n) and, for each integer k...

the evaluation and comparison of two esp textbooks available on the iranian market for teaching english to the students of medicine

abstract this study evaluated and compared medical terminology and english for the students of medicine (ii) as two representatives of the textbooks available on the iranian market for teaching english to the students of medicine. this research was performed on the basis of a teacher’s and a number of students’ attitudes and the students’ needs analysis for two reasons: first, to investigate...

Computational equivalence between quantum Turing machines and quantum circuit families