Yuichi Futa

Formaliz. Math., 2022

2021

Inverse Function Theorem. Part I1.

[BibT_eX]

[DOI]

Formaliz. Math., 2021

Virtual Environment for Analysis and Evaluation of DDoS Attacks.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Networking and Applications, 2021

2020

Formal Verification of Merkle-Damgård Construction in ProVerif.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Theory and Its Applications, 2020

2019

Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm.

[BibT_eX]

[DOI]

Koh-ichi Nagao

Formaliz. Math., 2019

Operations of Points on Elliptic Curve in Affine Coordinates.

[BibT_eX]

[DOI]

Formaliz. Math., 2019

2018

Continuity of Bounded Linear Operators on Normed Linear Spaces.

[BibT_eX]

[DOI]

Formaliz. Math., 2018

Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.

[BibT_eX]

[DOI]

Kenichi Arai

Proceedings of the International Symposium on Information Theory and Its Applications, 2018

2017

Implicit Function Theorem. Part I.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

Isomorphism Theorem on Vector Spaces over a Ring.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

Dual Lattice of ℤ-module Lattice.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

Embedded Lattice and Properties of Gram Matrix.

[BibT_eX]

[DOI]

Formaliz. Math., 2017

2016

Lattice of ℤ-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2016

Divisible ℤ-modules.

[BibT_eX]

[DOI]

Formaliz. Math., 2016

Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Polynomially Bounded Sequences and Polynomial Sequences.

[BibT_eX]

[DOI]

Formaliz. Math., 2015

Torsion Part of ℤ-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2015

Matrix of ℤ-module1.

[BibT_eX]

[DOI]

Formaliz. Math., 2015

2014

Impossible differential cryptanalysis of LBlock with concrete investigation of key scheduling algorithm.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Topological Properties of Real Normed Space.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

Torsion Z-module and Torsion-free Z-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2014

Improving Impossible Differential Cryptanalysis with Concrete Investigation of Key Scheduling Algorithm and Its Application to LBlock.

[BibT_eX]

[DOI]

Proceedings of the Network and System Security - 8th International Conference, 2014

2013

Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

Constructing Binary Huffman Tree.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

Submodule of free Z-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

Gaussian Integers.

[BibT_eX]

[DOI]

Formaliz. Math., 2013

Isometric Differentiable Functions on Real Normed Space.

[BibT_eX]

[DOI]

Noboru Endou

Formaliz. Math., 2013

Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.

[BibT_eX]

[DOI]

Artif. Intell. Res., 2013

2012

Free ℤ-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2012

Quotient Module of Z-module.

[BibT_eX]

[DOI]

Formaliz. Math., 2012

Z-modules.

[BibT_eX]

[DOI]

Formaliz. Math., 2012

Operations of Points on Elliptic Curve in Projective Coordinates.

[BibT_eX]

[DOI]

Formaliz. Math., 2012

Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar.

[BibT_eX]

[DOI]

Daichi Mizushima

Proceedings of the International Symposium on Information Theory and its Applications, 2012

2011

Set of Points on Elliptic Curve in Projective Coordinates.

[BibT_eX]

[DOI]

Formaliz. Math., 2011

Formalization of Integral Linear Space.

[BibT_eX]

[DOI]