
On affine tropical F5 algorithms
Peerreviewed
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
Journal of Symbolic Computation102
132

152
2021

Hybrid meetinthemiddle attacks for the isogeny pathfinding problem
Peerreviewed
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
to appear in Proceedings of The 7th ACM ASIA PublicKey Cryptography Workshop (APKC 2020)
10 2020

On FGLM algorithms with tropical Gröbner bases
Peerreviewed
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
20 7 2020

Algebraic approaches for solving isogeny problems of prime power degrees
Peerreviewed
International journal
Yasushi Takahashi, Momonari Kudo, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama
accepted at MathCrypt 2019, Santa Barbara, USA, August 18, 2019
8 2019

Complexity Bound on Semaev’s Naive Index Calculus Method for ECDLP
Peerreviewed
Kazuhiro Yokoyama, Masaya Yasuda, Yasushi Takahashi, Jun Kogure
accepted at NumberTheoretic Methods in Cryptology 2019
2019

On Affine Tropical F5 Algorithms
Peerreviewed
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
Proceedings of ISSAC 2018
383

390
7 2018

Usage of Modular Techniques for Efficient Computation of Ideal Operations
Peerreviewed
Masayuki Noro, Kazuhiro Yokoyama
Mathematics in Computer Science12
(
1
)
1

32
1 3 2018

Effective Localization Using Double Ideal Quotient and Its Implementation.
Peerreviewed
Yuki Ishihara, Kazuhiro Yokoyama
Proceedings of CASC 2018, Lecture Notes in Computer Science11077
272

287
2018

A Tropical F5 algorithm
Peerreviewed
Tristan Vaccon, Kazuhiro Yokoyama
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC129312
429

436
23 7 2017

Analysis of decreasing squaredsum of GramSchmidt lengths for short lattice vectors.
Peerreviewed
Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
J. Mathematical Cryptology11
(
1
)
1

24
2017

Secure statistical analysis using RLWEbased homomorphic encryption
Peerreviewed
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
Lecture Notes in Computer Science (ACISP 2015)9144
471

487
6 2015

New packing method in somewhat homomorphic encryption and its applications.
Peerreviewed
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
Security and Communication Networks8
(
13
)
2194

2213
2015

Secure Data Devolution: Practical Reencryption with Auxiliary Data in LWEbased Somewhat Homomorphic Encryption.
Peerreviewed
Masaya Yasuda, Array, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama
Proceedings of the 3rd International Workshop on Security in Cloud Computing, SCC@ASIACCS '15, Singapore, Republic of Singapore, April 14, 2015
53

61
2015

On the exact decryption range for GentryHalevi's implementation of fully homomorphic encryption.
Peerreviewed
Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
J. Mathematical Cryptology8
(
3
)
305

329
2014

Practical Packing Method in Somewhat Homomorphic Encryption
Peerreviewed
Yasuda Masaya, Shimoyama Takeshi, Kogure Jun, Yokoyama Kazuhiro, Koshiba Takeshi
DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 20138247
34

50
2014

PrivacyPreserving Wildcards Pattern Matching Using Symmetric Somewhat Homomorphic Encryption
Peerreviewed
Yasuda Masaya, Shimoyama Takeshi, Kogure Jun, Yokoyama Kazuhiro, Koshiba Takeshi
INFORMATION SECURITY AND PRIVACY, ACISP 20148544
338

353
2014

Verification of Gröbner basis candidates
Peerreviewed
Masayuki Noro, Kazuhiro Yokoyama
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)8592
419

424
2014

An effective implementation of symbolicnumeric cylindrical algebraic decomposition for quantifier elimination
Peerreviewed
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
THEORETICAL COMPUTER SCIENCE479
(
1
)
43

69
4 2013

Packed Homomorphic Encryption Based on Ideal Lattices and Its Application to Biometrics.
Peerreviewed
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
Proceedings of CDARES 2013, Lecture Notes in Computer Science8128
55

74
2013

Secure pattern matching using somewhat homomorphic encryption.
Peerreviewed
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
CCSW'13, Proceedings of the 2013 ACM Cloud Computing Security Workshop, Colocated with CCS 2013, Berlin, Germany, November 4, 2013
65

76
2013

Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
Peerreviewed
Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama
Mathematics in Computer Science6
(
3
)
217

233
9 2012

Usage of Modular Techniques for Efficient Computation of Ideal Operations
Invited
Kazuhiro Yokoyama
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 20127442
361

362
2012

Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition
Peerreviewed
Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
Mathematics in Computer Science5
(
2
)
209

221
6 2011

Development of QC2AS A computer algebra system for symbolic quantum chemical computations
Peerreviewed
Takeshi Osoekawa, Yuji Mochizuki, Kazuhiro Kyokoyama
Proceedings  2011 International Conference on Computational Science and Its Applications, ICCSA 2011
102

109
2011

Gröbner Basis Technique for Algebraic Formulas in Electron Correlation Theories
Peerreviewed
Takeshi Osoekawa, Yuji Mochizuki, Kazuhiro Yokoyama
Proceedings of ICCSA 2010
17

23
2010

Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
Peerreviewed
Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama
JOURNAL OF SYMBOLIC COMPUTATION44
(
7
)
703

725
7 2009

An Effective Implementation of a SymbolicNumeric Cylindrical Algebraic Decomposition for Quantifier Elimination
Peerreviewed
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
SNC'09: PROCEEDINGS OF THE 2009 INTERNATIONAL WORKSHOP ON SYMBOLICNUMERIC COMPUTATION
55

64
2009

Computation Schemes for Splitting Fields of Polynomials
Peerreviewed
Sebastien Orange, Guenael Renault, Kazuhiro Yokoyama
ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
279

286
2009

Solution of Algebraic Riccati Equations Using the Sum of Roots
Peerreviewed
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
215

222
2009

Symbolic optimization of algebraic function
Peerreviewed
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation
247

254
7 2008

Multimodular algorithm for computing the splitting field of a polynomial
Peerreviewed
Guénaël Renault, Kazuhiro Yokoyama
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
247

254
2008

Solution of the algebraic riccati equation using the sum of roots
Peerreviewed
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai
ACM Comm. Computer Algebra42
(
3
)
144

145
2008

Symbolic optimization of algebraic functions
Peerreviewed
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
147

154
2008

On systems of algebraic equations with parametric exponents II
Peerreviewed
Kazuhiro Yokoyama
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING18
(
6
)
603

630
12 2007

On the relationship between the sum of roots with positive real parts and polynomial spectral factorization
Peerreviewed
Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
Numerical Methods and Applications4310
320

328
2007

Parametric Optimization in Control Using the Sum of Roots for Parametric Polynomial Spectral Factorization
Peerreviewed
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
ISSAC 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
211

+
2007

Sum of roots, polynomial spectral factorization, and control performance limitations
Peerreviewed
Masaaki Kanno, Shinji Hara, Hirokazu Anai, Kazuhiro Yokoyama
Proceedings of the IEEE Conference on Decision and Control
2968

2973
2007

On polynomial curves in the affine plane
Peerreviewed
Mitsushi Fujimoto, Masakazu Suzuki, Kazuhiro Yokoyama
OSAKA JOURNAL OF MATHEMATICS43
(
3
)
597

608
9 2006

A modular method for computing the splitting field of a polynomial
Peerreviewed
Guenael Renault, Kazuhiro Yokoyama
ALGORITHMIC NUMBER THEORY, PROCEEDINGS4076
124

140
2006

Stability of parametric decomposition
Peerreviewed
Kazuhiro Yokoyama
MATHEMATICAL SOFTWAREICMS 2006, PROCEEDINGS4151
391

402
2006

Sum of roots with positive real parts
Peerreviewed
Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
Proceedings of ISSAC 2005
21

28
7 2005

Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction
Peerreviewed
Hirokazu Anai, Kazuhiro Yokoyama
Algorithmic Algebra and Logic (A3L2005)
25

30
2005

Implementation of prime decomposition of polynomial ideals over small finite fields
Peerreviewed
M Noro, K Yokoyama
JOURNAL OF SYMBOLIC COMPUTATION38
(
4
)
1227

1246
10 2004

On systems algebraic equations with parametric exponents
Peerreviewed
Kazuhiro Yokoyama
Proceedings of ISSAC 2004
312

319
7 2004

Z(3) symmetry and W3 algebra in lattice vertex operator algebras
Peerreviewed
CY Dong, CH Lam, K Tanabe, H Yamada, K Yokoyama
PACIFIC JOURNAL OF MATHEMATICS215
(
2
)
245

296
6 2004

Yet another practical implementation of polynomial factorization over finite fields
Peerreviewed
Masayuki Noro, Kazuhiro Yokoyama
Proceedings of ISSAC 2002
200

206
7 2002

Order counting of elliptic curves defined over finite fields of characteristic 2
Peerreviewed
T Izu, J Kogure, M Noro, K Yokoyama
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART IIIFUNDAMENTAL ELECTRONIC SCIENCE85
(
1
)
62

70
2002

Prime decomposition of polynomial ideals over finite fields
Peerreviewed
K Yokoyama
MATHEMATICAL SOFTWARE, PROCEEDINGS
217

227
2002

Radical representation of polynomial roots
Peerreviewed
Hirokazu Anai, Kazuhiro Yokoyama
JSSAC（日本数式処理学会誌）9
(
1
)
53

79
2002

The block cipher SC2000
Peerreviewed
T Shimoyama, H Yanami, K Yokoyama, M Takenaka, K Itoh, J Yajima, N Torii, H Tanaka
FAST SOFTWARE ENCRYPTION2355
312

327
2002

Efficient implementation of Schoof's algorithm in case of characteristic 2
Peerreviewed
T Izu, J Kogure, K Yokoyama
PUBLIC KEY CRYTOGRAPHY1751
210

222
2000

Order counting of elliptic curves defined over finite fields of characteristic 2
Peerreviewed
Tetsuya Izu, Jun Kogure, Masayuki Noro, Kazuhiro Yokoyama
82
(
8
)
1253

1260
8 1999

A modular method to compute the rational univariate representation of zerodimensional ideals
Peerreviewed
M Noro, K Yokoyama
JOURNAL OF SYMBOLIC COMPUTATION28
(
12
)
243

263
7 1999

Factoring polynomials over algebraic extension fields
Peerreviewed
Masayuki Noro, Kazuhiro Yokoyama
城西大学情報科学研究紀要(Josai Information Science Researches)9
(
1
)
11

33
1 1998

Efficient implementation of Schoof's algorithm
Peerreviewed
T Izu, J Kogure, M Noro, K Yokoyama
ADVANCES IN CRYPTOLOGY  ASIACRYPT'981514
66

79
1998

Parameters for secure elliptic curve cryptosystem improvements on schoof’s algorithm
Peerreviewed
Tetsuya Izu, Jun Kogure, Masayuki Noro, Kazuhiro Yokoyama
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)1431
253

257
1998

A modular method for computing the Galois groups of polynomials
Peerreviewed
K. Yokoyama
Journal of Pure and Applied Algebra117118
617

636
1997

Computation of the splitting fields and the Galois groups of polynomials
H Anai, M Noro, K Yokoyama
ALGORITHMS IN ALGEBRAIC GEOMETRY AND APPLICATIONS143
29

50
1996

Localization and primary decomposition of polynomial ideals
Peerreviewed
Takeshi Shimoyama, Kazuhiro Yokoyama
Journal of Symbolic Computation22
(
3
)
247

277
1996

Finding roots of unity among quotients of the roots of an integral polynomial
Peerreviewed
Kazuhiro Yokoyama, Ziming Li, Istvan Nemes
Proceedings of ISSAC 1995
85

89
7 1995

MULTIMODULAR APPROACH TO POLYNOMIALTIME FACTORIZATION OF BIVARIATE INTEGRAL POLYNOMIALS
Peerreviewed
K YOKOYAMA, M NORO, T TAKESHIMA
JOURNAL OF SYMBOLIC COMPUTATION17
(
6
)
545

563
6 1994

On Hensel construction of eigenvalues and eigenvectors of matrices with polynomial entries
Peerreviewed
Kazuhiro Yokoyama, Taku Takeshima
Proceedings of ISSAC 1993
218

224
7 1993

SOLUTIONS OF SYSTEMS OF ALGEBRAIC EQUATIONS AND LINEARMAPS ON RESIDUE CLASS RINGS
Peerreviewed
K YOKOYAMA, M NORO, T TAKESHIMA
JOURNAL OF SYMBOLIC COMPUTATION14
(
4
)
399

417
10 1992

ON DISTANCE TRANSITIVE GRAPHS WHOSE AUTOMORPHISMGROUPS ARE AFFINE
Peerreviewed
K YOKOYAMA
JOURNAL OF COMBINATORIAL THEORY SERIES B55
(
2
)
190

235
7 1992

代数制約の処理
Peerreviewed
竹島 卓, 横山 和弘
コンピューターソフトウェア9
(
6
)
16

30
1992

ON DETERMINING THE SOLVABILITY OF POLYNOMIALS
Peerreviewed
K YOKOYAMA, M NORO, T TAKESHIMA
ISSAC 90 : PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
127

134
1990

ON FACTORING MULTIVARIATE POLYNOMIALS OVER ALGEBRAICALLY CLOSED FIELDS
Peerreviewed
K YOKOYAMA, M NORO, T TAKESHIMA
ISSAC 90 : PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
297

297
1990

Computing primitive elements of extension fields
Peerreviewed
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
Journal of Symbolic Computation8
(
6
)
553

580
1989

Euclid環上の因数分解およびGCDについて－格子算法の応用
Peerreviewed
横山 和弘
コンピュータソフトウェア
(
5
)
42

61
1 1 1988

On Distance Transitive Graphs in Which the Stabilizer of a Point Contains an Alternating Group
Peerreviewed
Kazuhiro Yokoyama
European Journal of Combinatorics9
(
4
)
379

390
1988

DISTANCE TRANSITIVE GRAPHS AND FINITE SIMPLEGROUPS
Peerreviewed
CE PRAEGER, J SAXL, K YOKOYAMA
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY55
1

21
7 1987