-
On affine tropical F5 algorithms
査読有り
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
Journal of Symbolic Computation102
132
-
152
2021年
-
Hybrid meet-in-the-middle attacks for the isogeny path-finding problem
査読有り
Yasuhiko Ikematsu, Ryoya Fukasaku, Momonari Kudo, Masaya Yasuda, Katsuyuki Takashima, Kazuhiro Yokoyama
to appear in Proceedings of The 7th ACM ASIA Public-Key Cryptography Workshop (APKC 2020)
2020年10月
-
On FGLM algorithms with tropical Gröbner bases
査読有り
Yuki Ishihara, Tristan Vaccon, Kazuhiro Yokoyama
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation
2020年7月20日
-
Algebraic approaches for solving isogeny problems of prime power degrees
査読有り
国際誌
Yasushi Takahashi, Momonari Kudo, Yasuhiko Ikematsu, Masaya Yasuda, Kazuhiro Yokoyama
accepted at MathCrypt 2019, Santa Barbara, USA, August 18, 2019
2019年8月
-
Complexity Bound on Semaev’s Naive Index Calculus Method for ECDLP
査読有り
Kazuhiro Yokoyama, Masaya Yasuda, Yasushi Takahashi, Jun Kogure
accepted at Number-Theoretic Methods in Cryptology 2019
2019年
-
On Affine Tropical F5 Algorithms
査読有り
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
Proceedings of ISSAC 2018
383
-
390
2018年7月
-
Usage of Modular Techniques for Efficient Computation of Ideal Operations
査読有り
Masayuki Noro, Kazuhiro Yokoyama
Mathematics in Computer Science12
(
1
)
1
-
32
2018年3月1日
-
Effective Localization Using Double Ideal Quotient and Its Implementation.
査読有り
Yuki Ishihara, Kazuhiro Yokoyama
Proceedings of CASC 2018, Lecture Notes in Computer Science11077
272
-
287
2018年
-
A Tropical F5 algorithm
査読有り
Tristan Vaccon, Kazuhiro Yokoyama
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC129312
429
-
436
2017年7月23日
-
Analysis of decreasing squared-sum of Gram-Schmidt lengths for short lattice vectors.
査読有り
Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
J. Mathematical Cryptology11
(
1
)
1
-
24
2017年
-
Secure statistical analysis using RLWE-based homomorphic encryption
査読有り
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
Lecture Notes in Computer Science (ACISP 2015)9144
471
-
487
2015年6月
-
Secure Data Devolution: Practical Re-encryption with Auxiliary Data in LWE-based Somewhat Homomorphic Encryption.
査読有り
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年
-
New packing method in somewhat homomorphic encryption and its applications.
査読有り
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
Security and Communication Networks8
(
13
)
2194
-
2213
2015年
-
Privacy-Preserving Wildcards Pattern Matching Using Symmetric Somewhat Homomorphic Encryption
査読有り
Yasuda Masaya, Shimoyama Takeshi, Kogure Jun, Yokoyama Kazuhiro, Koshiba Takeshi
INFORMATION SECURITY AND PRIVACY, ACISP 20148544
338
-
353
2014年
-
Practical Packing Method in Somewhat Homomorphic Encryption
査読有り
Yasuda Masaya, Shimoyama Takeshi, Kogure Jun, Yokoyama Kazuhiro, Koshiba Takeshi
DATA PRIVACY MANAGEMENT AND AUTONOMOUS SPONTANEOUS SECURITY, DPM 20138247
34
-
50
2014年
-
Verification of Gröbner basis candidates
査読有り
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年
-
On the exact decryption range for Gentry-Halevi's implementation of fully homomorphic encryption.
査読有り
Masaya Yasuda, Kazuhiro Yokoyama, Takeshi Shimoyama, Jun Kogure, Takeshi Koshiba
J. Mathematical Cryptology8
(
3
)
305
-
329
2014年
-
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
査読有り
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
THEORETICAL COMPUTER SCIENCE479
(
1
)
43
-
69
2013年4月
-
Secure pattern matching using somewhat homomorphic encryption.
査読有り
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
CCSW'13, Proceedings of the 2013 ACM Cloud Computing Security Workshop, Co-located with CCS 2013, Berlin, Germany, November 4, 2013
65
-
76
2013年
-
Packed Homomorphic Encryption Based on Ideal Lattices and Its Application to Biometrics.
査読有り
Masaya Yasuda, Takeshi Shimoyama, Jun Kogure, Kazuhiro Yokoyama, Takeshi Koshiba
Proceedings of CD-ARES 2013, Lecture Notes in Computer Science8128
55
-
74
2013年
-
Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries
査読有り
Sébastien Orange, Guénaël Renault, Kazuhiro Yokoyama
Mathematics in Computer Science6
(
3
)
217
-
233
2012年9月
-
Usage of Modular Techniques for Efficient Computation of Ideal Operations
招待有り
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
査読有り
Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
Mathematics in Computer Science5
(
2
)
209
-
221
2011年6月
-
Development of QC2AS- A computer algebra system for symbolic quantum chemical computations
査読有り
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
査読有り
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
査読有り
Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama
JOURNAL OF SYMBOLIC COMPUTATION44
(
7
)
703
-
725
2009年7月
-
Computation Schemes for Splitting Fields of Polynomials
査読有り
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
査読有り
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
ISSAC2009: PROCEEDINGS OF THE 2009 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
215
-
222
2009年
-
An Effective Implementation of a Symbolic-Numeric Cylindrical Algebraic Decomposition for Quantifier Elimination
査読有り
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
SNC'09: PROCEEDINGS OF THE 2009 INTERNATIONAL WORKSHOP ON SYMBOLIC-NUMERIC COMPUTATION
55
-
64
2009年
-
Symbolic optimization of algebraic function
査読有り
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
Proceedings of the 2008 International Symposium on Symbolic and Algebraic Computation
247
-
254
2008年7月
-
Solution of the algebraic riccati equation using the sum of roots
査読有り
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai
ACM Comm. Computer Algebra42
(
3
)
144
-
145
2008年
-
Multi-modular algorithm for computing the splitting field of a polynomial
査読有り
Guénaël Renault, Kazuhiro Yokoyama
Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
247
-
254
2008年
-
Symbolic optimization of algebraic functions
査読有り
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
査読有り
Kazuhiro Yokoyama
APPLICABLE ALGEBRA IN ENGINEERING COMMUNICATION AND COMPUTING18
(
6
)
603
-
630
2007年12月
-
Sum of roots, polynomial spectral factorization, and control performance limitations
査読有り
Masaaki Kanno, Shinji Hara, Hirokazu Anai, Kazuhiro Yokoyama
Proceedings of the IEEE Conference on Decision and Control
2968
-
2973
2007年
-
On the relationship between the sum of roots with positive real parts and polynomial spectral factorization
査読有り
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
査読有り
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
ISSAC 2007: PROCEEDINGS OF THE 2007 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
211
-
+
2007年
-
On polynomial curves in the affine plane
査読有り
Mitsushi Fujimoto, Masakazu Suzuki, Kazuhiro Yokoyama
OSAKA JOURNAL OF MATHEMATICS43
(
3
)
597
-
608
2006年9月
-
A modular method for computing the splitting field of a polynomial
査読有り
Guenael Renault, Kazuhiro Yokoyama
ALGORITHMIC NUMBER THEORY, PROCEEDINGS4076
124
-
140
2006年
-
Stability of parametric decomposition
査読有り
Kazuhiro Yokoyama
MATHEMATICAL SOFTWARE-ICMS 2006, PROCEEDINGS4151
391
-
402
2006年
-
Sum of roots with positive real parts
査読有り
Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
Proceedings of ISSAC 2005
21
-
28
2005年7月
-
Cylindrical algebraic decomposition via numerical computation with validated symbolic reconstruction
査読有り
Hirokazu Anai, Kazuhiro Yokoyama
Algorithmic Algebra and Logic (A3L2005)
25
-
30
2005年
-
Implementation of prime decomposition of polynomial ideals over small finite fields
査読有り
M Noro, K Yokoyama
JOURNAL OF SYMBOLIC COMPUTATION38
(
4
)
1227
-
1246
2004年10月
-
On systems algebraic equations with parametric exponents
査読有り
Kazuhiro Yokoyama
Proceedings of ISSAC 2004
312
-
319
2004年7月
-
Z(3) symmetry and W-3 algebra in lattice vertex operator algebras
査読有り
CY Dong, CH Lam, K Tanabe, H Yamada, K Yokoyama
PACIFIC JOURNAL OF MATHEMATICS215
(
2
)
245
-
296
2004年6月
-
Yet another practical implementation of polynomial factorization over finite fields
査読有り
Masayuki Noro, Kazuhiro Yokoyama
Proceedings of ISSAC 2002
200
-
206
2002年7月
-
Order counting of elliptic curves defined over finite fields of characteristic 2
査読有り
T Izu, J Kogure, M Noro, K Yokoyama
ELECTRONICS AND COMMUNICATIONS IN JAPAN PART III-FUNDAMENTAL ELECTRONIC SCIENCE85
(
1
)
62
-
70
2002年
-
The block cipher SC2000
査読有り
T Shimoyama, H Yanami, K Yokoyama, M Takenaka, K Itoh, J Yajima, N Torii, H Tanaka
FAST SOFTWARE ENCRYPTION2355
312
-
327
2002年
-
Prime decomposition of polynomial ideals over finite fields
査読有り
K Yokoyama
MATHEMATICAL SOFTWARE, PROCEEDINGS
217
-
227
2002年
-
Radical representation of polynomial roots
査読有り
Hirokazu Anai, Kazuhiro Yokoyama
JSSAC(日本数式処理学会誌)9
(
1
)
53
-
79
2002年
-
Efficient implementation of Schoof's algorithm in case of characteristic 2
査読有り
T Izu, J Kogure, K Yokoyama
PUBLIC KEY CRYTOGRAPHY1751
210
-
222
2000年
-
標数2有限体上楕円曲線の位数計算
査読有り
伊豆 哲也, 小暮 淳, 野呂 正行, 横山 和弘
電子情報通信学会論文誌 A82
(
8
)
1253
-
1260
1999年8月
-
A modular method to compute the rational univariate representation of zero-dimensional ideals
査読有り
M Noro, K Yokoyama
JOURNAL OF SYMBOLIC COMPUTATION28
(
1-2
)
243
-
263
1999年7月
-
Parameters for secure elliptic curve cryptosystem -improvements on schoof’s algorithm
査読有り
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年
-
Efficient implementation of Schoof's algorithm
査読有り
T Izu, J Kogure, M Noro, K Yokoyama
ADVANCES IN CRYPTOLOGY - ASIACRYPT'981514
66
-
79
1998年
-
Factoring polynomials over algebraic extension fields
査読有り
Masayuki Noro, Kazuhiro Yokoyama
城西大学情報科学研究紀要(Josai Information Science Researches)9
(
1
)
11
-
33
1998年1月
-
A modular method for computing the Galois groups of polynomials
査読有り
K. Yokoyama
Journal of Pure and Applied Algebra117-118
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
査読有り
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
査読有り
Kazuhiro Yokoyama, Ziming Li, Istvan Nemes
Proceedings of ISSAC 1995
85
-
89
1995年7月
-
MULTI-MODULAR APPROACH TO POLYNOMIAL-TIME FACTORIZATION OF BIVARIATE INTEGRAL POLYNOMIALS
査読有り
K YOKOYAMA, M NORO, T TAKESHIMA
JOURNAL OF SYMBOLIC COMPUTATION17
(
6
)
545
-
563
1994年6月
-
On Hensel construction of eigenvalues and eigenvectors of matrices with polynomial entries
査読有り
Kazuhiro Yokoyama, Taku Takeshima
Proceedings of ISSAC 1993
218
-
224
1993年7月
-
SOLUTIONS OF SYSTEMS OF ALGEBRAIC EQUATIONS AND LINEAR-MAPS ON RESIDUE CLASS RINGS
査読有り
K YOKOYAMA, M NORO, T TAKESHIMA
JOURNAL OF SYMBOLIC COMPUTATION14
(
4
)
399
-
417
1992年10月
-
ON DISTANCE TRANSITIVE GRAPHS WHOSE AUTOMORPHISM-GROUPS ARE AFFINE
査読有り
K YOKOYAMA
JOURNAL OF COMBINATORIAL THEORY SERIES B55
(
2
)
190
-
235
1992年7月
-
代数制約の処理
査読有り
竹島 卓, 横山 和弘
コンピューターソフトウェア9
(
6
)
16
-
30
1992年
-
ON FACTORING MULTI-VARIATE POLYNOMIALS OVER ALGEBRAICALLY CLOSED FIELDS
査読有り
K YOKOYAMA, M NORO, T TAKESHIMA
ISSAC 90 : PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
297
-
297
1990年
-
ON DETERMINING THE SOLVABILITY OF POLYNOMIALS
査読有り
K YOKOYAMA, M NORO, T TAKESHIMA
ISSAC 90 : PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION
127
-
134
1990年
-
Computing primitive elements of extension fields
査読有り
Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima
Journal of Symbolic Computation8
(
6
)
553
-
580
1989年
-
Euclid環上の因数分解およびGCDについて-格子算法の応用
査読有り
横山 和弘
コンピュータソフトウェア
(
5
)
42
-
61
1988年1月1日
-
On Distance Transitive Graphs in Which the Stabilizer of a Point Contains an Alternating Group
査読有り
Kazuhiro Yokoyama
European Journal of Combinatorics9
(
4
)
379
-
390
1988年
-
DISTANCE TRANSITIVE GRAPHS AND FINITE SIMPLE-GROUPS
査読有り
CE PRAEGER, J SAXL, K YOKOYAMA
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY55
1
-
21
1987年7月