… A survey on computationally sound formal analysis of cryptographic protocol[J]. Chinese … A
survey:security verification analysis of cryptographic protocols implementations on real code[J/…

… In PQC, the cryptographic computation shall resist not only … Some features in PQC, such as
modular arithmetic in finite fields… scheme, which relies on code-based anti-quantum problem. …

… Our work in modular switching step is to make sure the method described in [11] still work
this … we can solve this problem for example changing the scheme for code based encryption. …

… , a SVD-based image authentication scheme using quick response code features is presented
in Chapter 4. Another QR code-based image authentication scheme is also proposed in …

… authentication. … cryptography algorithm solicitation (round 2 and 3), outlines the current
main implementation methods of post-quantum encryption algorithms: hash-based, code-based, …

… for quantum-resistant Lattice-based Cryptography algorithms in the final stage of the NIST
… Code-based cryptography Code-based cryptography is encryption techniques that mainly …

… of structured codes in code based cryptography[M]. In: Coding Theory and Cryptography
III. … Actual complexity of modular knapsack vector problem and practical security of a lattice …

… protocols and verify the correctness of … and verification tools Isabelle/HOL and VCC are
introduced, and the typical work on the design and modeling of security protocols and verification …

… reinforced points, generate the reinforcement code based on the CFI policy, and integrate
the verification module into the target application. Then a CFI check is enforced during the run-…

… attack on a message authentication code based on SM3∗ … the power consumption of
cryptographic devices and the … The reason is that the carry from bit 3 to bit 4 in the modular …