Hiroyuki Okazaki

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 15

Top Topics

Polynomially Bounded

Linear Transformation

Formal Verification

Top Venues

Formaliz. Math.

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

Hiroyuki Okazaki
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors. Formaliz. Math. 31 (1) (2023)
Hiroyuki Okazaki
Formalization of Orthogonal Decomposition for Hilbert Spaces. Formaliz. Math. 30 (4) (2022)
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
Finite Dimensional Real Normed Spaces are Proper Metric Spaces. Formaliz. Math. 29 (4) (2021)
Kazuhisa Nakasho, Hiroyuki Okazaki, Yasunari Shidama
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863. Formaliz. Math. 29 (3) (2021)
Ryo Tokuyama, Yuichi Futa, Hikofumi Suzuki, Hiroyuki Okazaki
Virtual Environment for Analysis and Evaluation of DDoS Attacks. AINA (3) (2021)
Hiroyuki Okazaki, Kazuhisa Nakasho
The 3-Fold Product Space of Real Normed Spaces and its Properties. Formaliz. Math. 29 (4) (2021)
Takehiko Mieno, Togo Yoshimura, Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
Formal Verification of Merkle-Damgård Construction in ProVerif. ISITA (2020)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Operations of Points on Elliptic Curve in Affine Coordinates. Formaliz. Math. 27 (3) (2019)
Hiroyuki Okazaki, Koh-ichi Nagao, Yuichi Futa
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm. Formaliz. Math. 27 (1) (2019)
Hiroyuki Okazaki, Yuichi Futa, Kenichi Arai
Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif. ISITA (2018)
Hiroyuki Okazaki
Binary Representation of Natural Numbers. Formaliz. Math. 26 (3) (2018)
Hiroyuki Okazaki
Formalization of statistical indistinguishability of probability distribution ensembles in Mizar. ISITA (2016)
Hiroyuki Okazaki, Yuichi Futa
Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Hiroshi Yamaguchi, Shigeo Tsujii, Hiroyuki Okazaki, Yasunari Shidama
Privacy Preserving Logic Formula Calculation in Cloud. ICSC (2016)
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Conservation Rules of Direct Sum Decomposition of Groups. Formaliz. Math. 24 (1) (2016)
Hiroyuki Okazaki, Hiroki Matsumoto, Yoshiki Shibata, Shinichi Motomura, Naoyuki Masada
Application to Women's Healthcare of Health Management System Using a Tablet Phone. BIH (2015)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Torsion Part of ℤ-module. Formaliz. Math. 23 (4) (2015)
Kazuhisa Nakasho, Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Equivalent Expressions of Direct Sum Decomposition of Groups1. Formaliz. Math. 23 (1) (2015)
Hiroyuki Okazaki, Yuichi Futa
Polynomially Bounded Sequences and Polynomial Sequences. Formaliz. Math. 23 (3) (2015)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Matrix of ℤ-module1. Formaliz. Math. 23 (1) (2015)
Kazuhisa Nakasho, Hiroshi Yamazaki, Hiroyuki Okazaki, Yasunari Shidama
Definition and Properties of Direct Sum Decomposition of Groups1. Formaliz. Math. 23 (1) (2015)
Hiroyuki Okazaki
Algebra of Polynomially Bounded Sequences and Negligible Functions. Formaliz. Math. 23 (4) (2015)
Kenichi Arai, Ken Wakabayashi, Hiroyuki Okazaki
Difference of Function on Vector Space over F. Formaliz. Math. 22 (3) (2014)
Kazuhisa Nakasho, Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module. Formaliz. Math. 22 (3) (2014)
Yuichi Futa, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Torsion Z-module and Torsion-free Z-module. Formaliz. Math. 22 (4) (2014)
Hiroyuki Okazaki, Yasunari Shidama
Random Variables and Product of Probability Spaces. Formaliz. Math. 21 (1) (2013)
Hiroshi Yamazaki, Hiroyuki Okazaki, Kazuhisa Nakasho, Yasunari Shidama
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order. Formaliz. Math. 21 (3) (2013)
Kenichi Arai, Hiroyuki Okazaki
Formalization of the Advanced Encryption Standard. Part I. Formaliz. Math. 21 (3) (2013)
Kenichi Arai, Hiroyuki Okazaki
N-Dimensional Binary Vector Spaces. Formaliz. Math. 21 (2) (2013)
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
Gaussian Integers. Formaliz. Math. 21 (2) (2013)
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Double Sequences and Limits. Formaliz. Math. 21 (3) (2013)
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
Constructing Binary Huffman Tree. Formaliz. Math. 21 (2) (2013)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
The Ck Space. Formaliz. Math. 21 (1) (2013)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar. J. Autom. Reason. 50 (2) (2013)
Hiroyuki Okazaki, Yuichi Futa, Yasunari Shidama
Formal definition of probability on finite and discrete sample space for proving security of cryptographic systems using Mizar. Artif. Intell. Res. 2 (4) (2013)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Submodule of free Z-module. Formaliz. Math. 21 (4) (2013)
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama
Isomorphisms of Direct Products of Finite Commutative Groups. Formaliz. Math. 21 (1) (2013)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Z-modules. Formaliz. Math. 20 (1) (2012)
Yuichi Futa, Daichi Mizushima, Hiroyuki Okazaki
Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar. ISITA (2012)
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Higher-Order Partial Differentiation. Formaliz. Math. 20 (2) (2012)
Hiroyuki Okazaki
Posterior Probability on Finite Set. Formaliz. Math. 20 (4) (2012)
Kenichi Arai, Hiroyuki Okazaki, Yasunari Shidama
Isomorphisms of Direct Products of Finite Cyclic Groups. Formaliz. Math. 20 (4) (2012)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Quotient Module of Z-module. Formaliz. Math. 20 (3) (2012)
Yuichi Futa, Hiroyuki Okazaki, Daichi Mizushima, Yasunari Shidama
Operations of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 20 (1) (2012)
Hiroyuki Okazaki, Yosiki Aoki, Yasunari Shidama
Extended Euclidean Algorithm and CRT Algorithm. Formaliz. Math. 20 (2) (2012)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
(ω). Formaliz. Math. 20 (1) (2012)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Free ℤ-module. Formaliz. Math. 20 (4) (2012)
Hideki Sakurai, Hiroyuki Okazaki, Yasunari Shidama
Banach's Continuous Inverse Theorem and Closed Graph Theorem. Formaliz. Math. 20 (4) (2012)
Hiroyuki Okazaki, Yasunari Shidama
Formalization of the Data Encryption Standard. Formaliz. Math. 20 (2) (2012)
Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
Cartesian Products of Family of Real Linear Spaces. Formaliz. Math. 19 (1) (2011)
Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama
Differentiable Functions into Real Normed Spaces. Formaliz. Math. 19 (2) (2011)
Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama
Banach Algebra of Bounded Complex-Valued Functionals. Formaliz. Math. 19 (2) (2011)
Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama
More on Continuous Functions on Normed Linear Spaces. Formaliz. Math. 19 (1) (2011)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Formalization of Integral Linear Space. Formaliz. Math. 19 (1) (2011)
Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama
Set of Points on Elliptic Curve in Projective Coordinates. Formaliz. Math. 19 (3) (2011)
Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama
Normal Subgroup of Product of Groups. Formaliz. Math. 19 (1) (2011)
Hiroyuki Okazaki, Yasunari Shidama
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables. Formaliz. Math. 18 (1-4) (2010)
Kenichi Arai, Nobuaki Kondo, Hiroyuki Okazaki
Formalization of Probability and Random Sampling on a Finite and Discrete Sample Space Using the Mizar Proof Checker. FCS (2010)
Noboru Endou, Hiroyuki Okazaki, Yasunari Shidama
Hopf Extension Theorem of Measure. Formaliz. Math. 17 (1-4) (2009)
Hiroyuki Okazaki
Probability on Finite and Discrete Set and Uniform Distribution. Formaliz. Math. 17 (1-4) (2009)
Kenichi Arai, Hiroyuki Okazaki
Properties of Primes and Multiplicative Group of a Field. Formaliz. Math. 17 (1-4) (2009)
Hiroyuki Okazaki, Yasunari Shidama
Probability on Finite Set and Real-Valued Random Variables. Formaliz. Math. 17 (1-4) (2009)
Hiroyuki Okazaki, Yasunari Shidama
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*. Formaliz. Math. 16 (1-4) (2008)
Hernán E. Aguirre, Hiroyuki Okazaki, Yasushi Fuwa
An evolutionary multiobjective approach to design highly non-linear Boolean functions. GECCO (2007)
Hiroyuki Okazaki, Ryuichi Sakai, Masao Kasahara
Meta Ring Signature. IACR Cryptol. ePrint Arch. 2005 (2005)
Masayoshi Ejiri, Jong-Tae Park, Hiroyuki Okazaki, James Won-Ki Hong
Managing the New Telecommunications Paradigms: A Report on APNOMS'98. J. Netw. Syst. Manag. 6 (4) (1998)
T. Kawagoe, H. Kawakami, K. Soga, K. Tanaka, Hiroyuki Okazaki, Satoshi Hasegawa
On the design and an implementation of broadband access management systems. NOMS (1996)
Hideki Sakauchi, Yasuyo Okanoue, Hiroyuki Okazaki, Satoshi Hasegawa
Distributed Self-Healing Control in SONET. J. Netw. Syst. Manag. 1 (2) (1993)