Kazuhiro Yokoyama

78 papers A* 2A 1B 19Misc 2Journal 36Unranked 18
YearRankTypeTitle / Venue / Authors
2025 B conf
Effective Hilbert's Irreducibility Theorem for Primary Ideals.
CASC
Yuki Ishihara, Kazuhiro Yokoyama
2025 J jnl
Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures.
IACR Cryptol. ePrint Arch.
Momonari Kudo, Kazuhiro Yokoyama
2024 J jnl
Comprehensive Systems for Primary Decompositions of Parametric Ideals.
CoRR
Yuki Ishihara, Kazuhiro Yokoyama
2024 J jnl
Generalized cryptographic semi-regular sequences: A variant of Fröberg conjecture and a simple complexity estimation for Gröbner basis computation.
CoRR
Momonari Kudo, Kazuhiro Yokoyama
2024 — conf
Gröbner basis computation via learning.
SCSS (Work in Progress)
Hiroshi Kera, Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
2024 A* conf
Learning to compute Gröbner bases.
NeurIPS
Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama
2024 J jnl
On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases.
CoRR
Momonari Kudo, Kazuhiro Yokoyama
2024 J jnl
On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases.
IACR Cryptol. ePrint Arch.
Momonari Kudo, Kazuhiro Yokoyama
2024 J jnl
The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences.
CoRR
Momonari Kudo, Kazuhiro Yokoyama
2024 J jnl
The solving degrees for computing Gröbner bases of affine semi-regular polynomial sequences.
IACR Cryptol. ePrint Arch.
Momonari Kudo, Kazuhiro Yokoyama
2023 J jnl
Learning to Compute Gröbner Bases.
CoRR
Hiroshi Kera, Yuki Ishihara, Yuta Kambe, Tristan Vaccon, Kazuhiro Yokoyama
2021 J jnl
Algebraic approaches for solving isogeny problems of prime power degrees.
J. Math. Cryptol.
Yasushi Takahashi, Momonari Kudo, Ryoya Fukasaku, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama
2021 — conf
Implementation Report of the Kohel-Lauter-Petit-Tignol Algorithm for the Constructive Deuring Correspondence.
ICMC
Yuta Kambe, Yusuke Aikawa, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
2021 J jnl
On affine tropical F5 algorithms.
J. Symb. Comput.
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2020 J jnl
Complexity bounds on Semaev's naive index calculus method for ECDLP.
J. Math. Cryptol.
Kazuhiro Yokoyama, Masaya Yasuda, Yasushi Takahashi, Jun Kogure
2020 J jnl
Effective Localization Using Double Ideal Quotient and Its Implementation.
CoRR
Yuki Ishihara, Kazuhiro Yokoyama
2020 — conf
Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem.
APKC@AsiaCCS
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
2020 J jnl
On FGLM Algorithms with Tropical Gröbner bases.
CoRR
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
2020 B conf
On FGLM algorithms with tropical Gröbner bases.
ISSAC
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
2018 B conf
Effective Localization Using Double Ideal Quotient and Its Implementation.
CASC
Yuki Ishihara, Kazuhiro Yokoyama
2018 B conf
On Affine Tropical F5 Algorithms.
ISSAC
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2018 J jnl
On Affine Tropical F5 Algorithms.
CoRR
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
2018 J jnl
Usage of Modular Techniques for Efficient Computation of Ideal Operations.
Math. Comput. Sci.
Masayuki Noro, Kazuhiro Yokoyama
2017 B conf
A Tropical F5 Algorithm.
ISSAC
Tristan Vaccon, Kazuhiro Yokoyama
2017 J jnl
A Tropical F5 algorithm.
CoRR
Tristan Vaccon, Kazuhiro Yokoyama
2017 J jnl
Analysis of decreasing squared-sum of Gram-Schmidt lengths for short lattice vectors.
J. Math. Cryptol.
Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
2017 J jnl
Special issue on the conference ISSAC 2015: Symbolic computation and computer algebra.
J. Symb. Comput.
Kazuhiro Yokoyama
2015 J jnl
New packing method in somewhat homomorphic encryption and its applications.
Secur. Commun. Networks
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
2015 B ed.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom, July 06 - 09, 2015
ISSAC
Kazuhiro Yokoyama, Steve Linton, Daniel Robertz
2015 — conf
Secure Data Devolution: Practical Re-encryption with Auxiliary Data in LWE-based Somewhat Homomorphic Encryption.
SCC@ASIACCS
Masaya Yasuda, Takeshi Koshiba, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama
2015 Misc conf
Secure Statistical Analysis Using RLWE-Based Homomorphic Encryption.
ACISP
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
2014 J jnl
On the exact decryption range for Gentry-Halevi's implementation of fully homomorphic encryption.
J. Math. Cryptol.
Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
2014 Misc conf
Privacy-Preserving Wildcards Pattern Matching Using Symmetric Somewhat Homomorphic Encryption.
ACISP
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
2014 — conf
Verification of Gröbner Basis Candidates.
ICMS
Masayuki Noro, Kazuhiro Yokoyama
2013 J jnl
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
Theor. Comput. Sci.
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
2013 — conf
Packed Homomorphic Encryption Based on Ideal Lattices and Its Application to Biometrics.
CD-ARES Workshops
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
2013 — conf
Practical Packing Method in Somewhat Homomorphic Encryption.
DPM/SETOP
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
2013 — conf
Secure pattern matching using somewhat homomorphic encryption.
CCSW
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
2012 J jnl
Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries.
Math. Comput. Sci.
Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama
2012 B conf
Usage of Modular Techniques for Efficient Computation of Ideal Operations - (Invited Talk).
CASC
Kazuhiro Yokoyama
2011 — conf
Development of QC2AS - A Computer Algebra System for Symbolic Quantum Chemical Computations.
ICCSA Workshops
Takeshi Osoekawa, Yuji Mochizuki, Kazuhiro Yokoyama
2011 J jnl
Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition.
Math. Comput. Sci.
Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
2010 — conf
Gröbner Basis Technique for Algebraic Formulas in Electron Correlation Theories.
ICCSA Workshops
Takeshi Osoekawa, Naoyuki Shinohara, Yuji Mochizuki, Kazuhiro Yokoyama
2009 — conf
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
SNC
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
2009 B conf
Computation schemes for splitting fields of polynomials.
ISSAC
Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama
2009 J jnl
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem.
J. Symb. Comput.
Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama
2009 B conf
Solution of algebraic riccati equations using the sum of roots.
ISSAC
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
2008 B conf
Multi-modular algorithm for computing the splitting field of a polynomial.
ISSAC
Guénaël Renault, Kazuhiro Yokoyama
2008 J jnl
Solution of the algebraic riccati equation using the sum of roots.
ACM Commun. Comput. Algebra
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai
2008 B conf
Symbolic optimization of algebraic functions.
ISSAC
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
2007 J jnl
On systems of algebraic equations with parametric exponents II.
Appl. Algebra Eng. Commun. Comput.
Kazuhiro Yokoyama
2007 B conf
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.
ISSAC
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
2007 — conf
Sum of roots, polynomial spectral factorization, and control performance limitations.
CDC
Masaaki Kanno, Shinji Hara, Hirokazu Anai, Kazuhiro Yokoyama
2006 — conf
A Modular Method for Computing the Splitting Field of a Polynomial.
ANTS
Guénaël Renault, Kazuhiro Yokoyama
2006 — conf
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization.
Numerical Methods and Applications
Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
2006 — conf
Stability of Parametric Decomposition.
ICMS
Kazuhiro Yokoyama
2005 — conf
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.
Algorithmic Algebra and Logic
Hirokazu Anai, Kazuhiro Yokoyama
2005 B conf
Sum of roots with positive real parts.
ISSAC
Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
2004 J jnl
Implementation of prime decomposition of polynomial ideals over small finite fields.
J. Symb. Comput.
Masayuki Noro, Kazuhiro Yokoyama
2004 B conf
On systems of algebraic equations with parametric exponents.
ISSAC
Kazuhiro Yokoyama
2003 J jnl
Implementation of prime decomposition of polynomial ideals over small finite fields.
SIGSAM Bull.
Masayuki Noro, Kazuhiro Yokoyama
2002 B conf
Yet another practical implementation of polynomial factorization over finite fields.
ISSAC
Masayuki Noro, Kazuhiro Yokoyama
2001 A* conf
The Block Cipher SC2000.
FSE
Takeshi Shimoyama, Hitoshi Yanami, Kazuhiro Yokoyama, Masahiko Takenaka, Kouichi Itoh, Jun Yajima, Naoya Torii, Hidema Tanaka
2000 — conf
Efficient Implementation of Schoof's Algorithm in Case of Characteristic 2.
Public Key Cryptography
Tetsuya Izu, Jun Kogure, Kazuhiro Yokoyama
2000 J jnl
Special Issue on Algorithmic Methods in Galois Theory - Foreword of the Guest Editors.
J. Symb. Comput.
B. Heinrich Matzat, John McKay, Kazuhiro Yokoyama
1999 J jnl
A Modular Method to Compute the Rational Univariate Representation of Zero-dimensional Ideals.
J. Symb. Comput.
Masayuki Noro, Kazuhiro Yokoyama
1998 A conf
Efficient Implementation of Schoof's Algorithm.
ASIACRYPT
Tetsuya Izu, Jun Kogure, Masayuki Noro, Kazuhiro Yokoyama
1998 — conf
Parameters for Secure Elliptic Curve Cryptosystem - Improvements on Schoof's Algorithm.
Public Key Cryptography
Tetsuya Izu, Jun Kogure, Masayuki Noro, Kazuhiro Yokoyama
1996 J jnl
Localization and Primary Decomposition of Polynomial Ideals.
J. Symb. Comput.
Takeshi Shimoyama, Kazuhiro Yokoyama
1995 B conf
Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial.
ISSAC
Kazuhiro Yokoyama, Ziming Li, István Nemes
1994 J jnl
Multi-Modular Approach to Polynomial-Time Factorization of Bivariate Integral Polynomials.
J. Symb. Comput.
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
1993 B conf
On Hensel Construction of Eigenvalues and Eigenvectors of Matrices with Polynomial Entries.
ISSAC
Kazuhiro Yokoyama, Taku Takeshima
1992 J jnl
On distance transitive graphs whose automorphism groups are affine.
J. Comb. Theory B
Kazuhiro Yokoyama
1992 J jnl
Solutions of Systems of Algebraic Equations and Linear Maps on Residue Class Rings.
J. Symb. Comput.
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
1990 B conf
On Determining the Solvability of Polynomials.
ISSAC
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
1990 B conf
On Factoring Multi-Variate Polynomials over Algebraically Closed Fields (abstract).
ISSAC
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
1989 J jnl
Computing Primitive Elements of Extension Fields.
J. Symb. Comput.
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
1988 J jnl
On Distance Transitive Graphs in Which the Stabilizer of a Point Contains an Alternating Group.
Eur. J. Comb.
Kazuhiro Yokoyama