How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif.
IEEE Access, 2024
Formal Security Verification for Searchable Symmetric Encryption Using ProVerif.
Proceedings of the International Symposium on Information Theory and Its Applications, 2024
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces.
Formaliz. Math., 2022
Inverse Function Theorem. Part I1.
Formaliz. Math., 2021
Virtual Environment for Analysis and Evaluation of DDoS Attacks.
Proceedings of the Advanced Information Networking and Applications, 2021
Formal Verification of Merkle-Damgård Construction in ProVerif.
Proceedings of the International Symposium on Information Theory and Its Applications, 2020
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm.
Formaliz. Math., 2019
Operations of Points on Elliptic Curve in Affine Coordinates.
Formaliz. Math., 2019
Continuity of Bounded Linear Operators on Normed Linear Spaces.
Formaliz. Math., 2018
Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.
Proceedings of the International Symposium on Information Theory and Its Applications, 2018
Implicit Function Theorem. Part I.
Formaliz. Math., 2017
Isomorphism Theorem on Vector Spaces over a Ring.
Formaliz. Math., 2017
Dual Lattice of ℤ-module Lattice.
Formaliz. Math., 2017
Embedded Lattice and Properties of Gram Matrix.
Formaliz. Math., 2017
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.
Proceedings of the Joint Proceedings of the FM4M, 2016
Polynomially Bounded Sequences and Polynomial Sequences.
Formaliz. Math., 2015
Torsion Part of ℤ-module.
Formaliz. Math., 2015
Impossible differential cryptanalysis of LBlock with concrete investigation of key scheduling algorithm.
IACR Cryptol. ePrint Arch., 2014
Topological Properties of Real Normed Space.
Formaliz. Math., 2014
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.
Formaliz. Math., 2014
Torsion Z-module and Torsion-free Z-module.
Formaliz. Math., 2014
Improving Impossible Differential Cryptanalysis with Concrete Investigation of Key Scheduling Algorithm and Its Application to LBlock.
Proceedings of the Network and System Security - 8th International Conference, 2014
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.
J. Autom. Reason., 2013
Constructing Binary Huffman Tree.
Formaliz. Math., 2013
Submodule of free Z-module.
Formaliz. Math., 2013
Isometric Differentiable Functions on Real Normed Space.
Formaliz. Math., 2013
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.
Artif. Intell. Res., 2013
Quotient Module of Z-module.
Formaliz. Math., 2012
Operations of Points on Elliptic Curve in Projective Coordinates.
Formaliz. Math., 2012
Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar.
Proceedings of the International Symposium on Information Theory and its Applications, 2012
Set of Points on Elliptic Curve in Projective Coordinates.
Formaliz. Math., 2011
Formalization of Integral Linear Space.
Formaliz. Math., 2011