Yuichi Futa

38 papers B 1C 4Journal 31Unranked 2
YearRankTypeTitle / Venue / Authors
2024 C conf
Formal Security Verification for Searchable Symmetric Encryption Using ProVerif.
ISITA
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa, Hiroaki Yamamoto
2024 J jnl
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif.
IEEE Access
Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa
2022 J jnl
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa
2021 J jnl
Inverse Function Theorem. Part I1.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa
2021 — conf
Virtual Environment for Analysis and Evaluation of DDoS Attacks.
AINA (3)
Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki
2020 C conf
Formal Verification of Merkle-Damgård Construction in ProVerif.
ISITA
Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
2019 J jnl
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm.
Formaliz. Math.
Hiroyuki Okazaki, Koh-ichi Nagao, Yuichi Futa
2019 J jnl
Operations of Points on Elliptic Curve in Affine Coordinates.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2018 J jnl
Continuity of Bounded Linear Operators on Normed Linear Spaces.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2018 C conf
Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif.
ISITA
Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
2017 J jnl
Dual Lattice of ℤ-module Lattice.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2017 J jnl
Embedded Lattice and Properties of Gram Matrix.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2017 J jnl
Implicit Function Theorem. Part I.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2017 J jnl
Isomorphism Theorem on Vector Spaces over a Ring.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2016 J jnl
Divisible ℤ-modules.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2016 — conf
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Hiroyuki Okazaki, Yuichi Futa
2016 J jnl
Lattice of ℤ-module.
Formaliz. Math.
Yuichi Futa, Yasunari Shidama
2015 J jnl
Matrix of ℤ-module1.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2015 J jnl
Polynomially Bounded Sequences and Polynomial Sequences.
Formaliz. Math.
Hiroyuki Okazaki, Yuichi Futa
2015 J jnl
Torsion Part of ℤ-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2014 J jnl
Impossible differential cryptanalysis of LBlock with concrete investigation of key scheduling algorithm.
IACR Cryptol. ePrint Arch.
Jiageng Chen, Yuichi Futa, Atsuko Miyaji, Chunhua Su
2014 B conf
Improving Impossible Differential Cryptanalysis with Concrete Investigation of Key Scheduling Algorithm and Its Application to LBlock.
NSS
Jiageng Chen, Yuichi Futa, Atsuko Miyaji, Chunhua Su
2014 J jnl
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2014 J jnl
Topological Properties of Real Normed Space.
Formaliz. Math.
Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama
2014 J jnl
Torsion Z-module and Torsion-free Z-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
2013 J jnl
Constructing Binary Huffman Tree.
Formaliz. Math.
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
2013 J jnl
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar.
Artif. Intell. Res.
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
2013 J jnl
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar.
J. Autom. Reason.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2013 J jnl
Gaussian Integers.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
2013 J jnl
Isometric Differentiable Functions on Real Normed Space.
Formaliz. Math.
Yuichi Futa, Noboru Endou, Yasunari Shidama
2013 J jnl
Submodule of free Z-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2012 C conf
Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar.
ISITA
Yuichi Futa, Daichi Mizushima, Hiroyuki Okazaki
2012 J jnl
Free ℤ-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Operations of Points on Elliptic Curve in Projective Coordinates.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
2012 J jnl
Quotient Module of Z-module.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2012 J jnl
Z-modules.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2011 J jnl
Formalization of Integral Linear Space.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
2011 J jnl
Set of Points on Elliptic Curve in Projective Coordinates.
Formaliz. Math.
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama