マス・フォア・インダストリ研究所

研究成果 1981 2019

フィルター
会議での発言
2019

Mobility Optimization on Cyber Physical System via Multiple Object Tracking and Mathematical Programming

Hata, N., Nakayama, T., Tanaka, A., Wakamatsu, T., Yoshida, A., Tateiwa, N., Nishikawa, Y., Ozawa, J. & Fujisawa, K., 1 22 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (版). Institute of Electrical and Electronics Engineers Inc., p. 4026-4035 10 p. 8622146. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

研究成果: 著書/レポートタイプへの貢献会議での発言

Mathematical programming
Integer programming
Industrial applications
Data reduction
Experiments

Specification and Verification of Invariant Properties of Transition Systems

Gaina, D. M., Tutu, I. & Riesco, A., 5 21 2019, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. IEEE Computer Society, p. 99-108 10 p. 8719485. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; 巻数 2018-December).

研究成果: 著書/レポートタイプへの貢献会議での発言

Specifications
2018

Acceleration of index calculus for solving ECDLP over prime fields and its limitation

Kudo, M., Yokota, Y., Takahashi, Y. & Yasuda, M., 1 1 2018, Cryptology and Network Security - 17th International Conference, CANS 2018, Proceedings. Papadimitratos, P. & Camenisch, J. (版). Springer Verlag, p. 377-393 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11124 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Discrete Logarithm Problem
Elliptic Curves
Calculus
Polynomials
Summation
3 引用 (Scopus)

An experimental study of Kannan’s embedding technique for the search LWE problem

Wang, Y., Aono, Y. & Takagi, T., 1 1 2018, Information and Communications Security - 19th International Conference, ICICS 2017, Proceedings. Qing, S., Liu, D., Mitchell, C. & Chen, L. (版). Springer Verlag, p. 541-553 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10631 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Experimental Study
Enumeration
Learning
Lattice Reduction
Experimental Results
2 引用 (Scopus)

A public-key encryption scheme based on non-linear indeterminate equations

Akiyama, K., Goto, Y., Okumura, S., Takagi, T., Nuida, K. & Hanaoka, G., 1 1 2018, Selected Areas in Cryptography – SAC 2017 - 24th International Conference, Revised Selected Papers. Adams, C. & Camenisch, J. (版). Springer Verlag, p. 215-234 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10719 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Public Key Encryption
Nonlinear equations
Cryptography
Cryptosystem
Small Solutions

Chosen Message Attack on Multivariate Signature ELSA at Asiacrypt 2017

Hashimoto, Y., Ikematsu, Y. & Takagi, T., 1 1 2018, Advances in Information and Computer Security - 13th International Workshop on Security, IWSEC 2018, Proceedings. Yasuda, K. & Inomata, A. (版). Springer Verlag, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11049 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Signature
Hardness
Attack
Polynomials
Quadratic equation

Development of a dual version of DeepBKZ and its application to solving the LWE challenge

Yasuda, M., Yamaguchi, J., Ooka, M. & Nakamura, S., 1 1 2018, Progress in Cryptology - AFRICACRYPT 2018 - 10th International Conference on Cryptology in Africa, Proceedings. Nitaj, A., Rachidi, T. & Joux, A. (版). Springer Verlag, p. 162-182 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10831 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Decoding
Subroutines
Enumeration
Dual Basis
Pruning

Dynamic determinantal point processes

Osogami, T., Raymond, R., Shirai, T., Goel, A. & Maehara, T., 1 1 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, p. 3868-3875 8 p. (32nd AAAI Conference on Artificial Intelligence, AAAI 2018).

研究成果: 著書/レポートタイプへの貢献会議での発言

Learning algorithms
Factorization
Learning systems
1 引用 (Scopus)

Efficient decryption algorithms for extension field cancellation type encryption schemes

Wang, Y., Ikematsu, Y., Duong, D. H. & Takagi, T., 1 1 2018, Information Security and Privacy - 23rd Australasian Conference, ACISP 2018, Proceedings. Susilo, W. & Yang, G. (版). Springer Verlag, p. 487-501 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10946 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Field extension
Cancellation
Encryption
Cryptography
Efficient Algorithms
3 引用 (Scopus)

Explicit formula for gram-schmidt vectors in LLL with deep insertions and its applications

Yamaguchi, J. & Yasuda, M., 1 1 2018, Number-Theoretic Methods in Cryptology - 1st International Conference, NuTMiC 2017, Revised Selected Papers. Pieprzyk, J., Pieprzyk, J., Kaczorowski, J. & Pomykała, J. (版). Springer Verlag, p. 142-160 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10737 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Orthogonalization
Subroutines
Insertion
Explicit Formula
Lattice Basis Reduction

Faster PCA and linear regression through hypercubes in HElib

Rathee, D., Mishra, P. K. & Yasuda, M., 10 15 2018, WPES 2018 - Proceedings of the 2018 Workshop on Privacy in the Electronic Society, co-located with CCS 2018. Association for Computing Machinery, p. 42-53 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

研究成果: 著書/レポートタイプへの貢献会議での発言

Linear regression
Principal component analysis
Cryptography
Outsourcing
Experiments
2 引用 (Scopus)

HFERP - A new multivariate encryption scheme

Ikematsu, Y., Perlner, R., Smith-Tone, D., Takagi, T. & Vates, J., 1 1 2018, Post-Quantum Cryptography - 9th International Conference, PQCrypto 2018, Proceedings. Lange, T. & Steinwandt, R. (版). Springer Verlag, p. 396-416 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10786 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Encryption
Cryptography
Blow-up
Attack
Doubling

On the complexity of stable fractional hypergraph matching

Ishizuka, T. & Kamiyama, N., 12 1 2018, 29th International Symposium on Algorithms and Computation, ISAAC 2018. Liao, C-S., Lee, D-T. & Hsu, W-L. (版). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; 巻数 123).

研究成果: 著書/レポートタイプへの貢献会議での発言

Polynomials
2 引用 (Scopus)

Practical approach to evacuation planning via network flow and deep learning

Tanaka, A., Hata, N., Tateiwa, N. & Fujisawa, K., 1 12 2018, Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017. Obradovic, Z., Baeza-Yates, R., Kepner, J., Nambiar, R., Wang, C., Toyoda, M., Suzumura, T., Hu, X., Cuzzocrea, A., Baeza-Yates, R., Tang, J., Zang, H., Nie, J-Y. & Ghosh, R. (版). Institute of Electrical and Electronics Engineers Inc., p. 3368-3377 10 p. (Proceedings - 2017 IEEE International Conference on Big Data, Big Data 2017; 巻数 2018-January).

研究成果: 著書/レポートタイプへの貢献会議での発言

Evacuation
Network Flow
Planning
Neural networks
Neural Networks
2 引用 (Scopus)

Reduction of H state feedback control problems for the servo systems

Waki, H. & Sebe, N., 2 7 2018, 2017 Asian Control Conference, ASCC 2017. Institute of Electrical and Electronics Engineers Inc., 巻 2018-January. p. 2244-2249 6 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

Servo System
State Feedback Control
Matrix Inequality
Linear Inequalities
Control Problem

Singular fibers of stable maps of manifold pairs and their applications

Saeki, O. & Yamamoto, T., 1 1 2018, Singularities and Foliations. Geometry, Topology and Applications - BMMS 2/NBMS 3. Snoussi, J., Araujo dos Santos, R. N., Saia, M. J., Mond, D. & Menegon Neto, A. (版). Springer New York LLC, p. 259-294 36 p. (Springer Proceedings in Mathematics and Statistics; 巻数 222).

研究成果: 著書/レポートタイプへの貢献会議での発言

Stable Map
Fiber
Submanifolds
Closed
Morse Function

Solving LWR via BDD strategy: Modulus switching approach

Le, H. Q., Mishra, P. K., Duong, D. H. & Yasuda, M., 1 1 2018, Cryptology and Network Security - 17th International Conference, CANS 2018, Proceedings. Papadimitratos, P. & Camenisch, J. (版). Springer Verlag, p. 357-376 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 11124 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Modulus
Modulo
Attack
Hermite
Probability distributions
3 引用 (Scopus)

Sparse nonnegative dynamic mode decomposition

Takeishi, N., Kawahara, Y. & Yairi, T., 2 20 2018, 2017 IEEE International Conference on Image Processing, ICIP 2017 - Proceedings. IEEE Computer Society, p. 2682-2686 5 p. (Proceedings - International Conference on Image Processing, ICIP; 巻数 2017-September).

研究成果: 著書/レポートタイプへの貢献会議での発言

Decomposition
Nonlinear dynamical systems
Processing
Experiments
1 引用 (Scopus)

Strong feasibility of the dual problem of linear matrix inequality for H output feedback control problem

Waki, H. & Sebe, N., 4 2 2018, SICE ISCS 2018 - 2018 SICE International Symposium on Control Systems. Institute of Electrical and Electronics Engineers Inc., p. 47-53 7 p. (SICE ISCS 2018 - 2018 SICE International Symposium on Control Systems; 巻数 2018-January).

研究成果: 著書/レポートタイプへの貢献会議での発言

Output Feedback Control
Dual Problem
Linear matrix inequalities
Feedback control
Matrix Inequality

Submodular function minimization with submodular set covering constraints and precedence constraints

Kamiyama, N., 1 1 2018, Approximation and Online Algorithms - 15th International Workshop, WAOA 2017, Revised Selected Papers. Solis-Oba, R. & Fleischer, R. (版). Springer Verlag, p. 90-101 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10787 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Function Minimization
Submodular Function
Set Covering
Precedence Constraints
Covering Problem

The B-branching problem in digraphs

Kakimura, N., Kamiyama, N. & Takazawa, K., 8 1 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (版). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; 巻数 117).

研究成果: 著書/レポートタイプへの貢献会議での発言

Polynomials
Decomposition

Tight approximability of the server allocation problem for real-time applications

Ito, T., Kakimura, N., Kamiyama, N., Kobayashi, Y., Okamoto, Y. & Shiitada, T., 1 1 2018, Algorithmic Aspects of Cloud Computing - 3rd International Workshop, ALGOCLOUD 2017, Revised Selected Papers. Springer Verlag, p. 41-55 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10739 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Approximability
Servers
Server
Real-time
Approximation algorithms
2017

A counter-rotating vortex pair in inviscid fluid

Habibah, U. & Fukumoto, Y., 12 5 2017, International Conference and Workshop on Mathematical Analysis and its Applications, ICWOMAA 2017. Kilicman, A., Marjono, Wibowo, R. B. E. & Imron, M. A. (版). American Institute of Physics Inc., 020022. (AIP Conference Proceedings; 巻数 1913).

研究成果: 著書/レポートタイプへの貢献会議での発言

counters
vortices
fluids
Biot-Savart law
Navier-Stokes equation

A multigrid-balancing preconditioner of domain decomposition methods for magnetic field problems

Tagami, D., 1 12 2017, IEEE CEFC 2016 - 17th Biennial Conference on Electromagnetic Field Computation. Institute of Electrical and Electronics Engineers Inc., 7816393. (IEEE CEFC 2016 - 17th Biennial Conference on Electromagnetic Field Computation).

研究成果: 著書/レポートタイプへの貢献会議での発言

Domain decomposition methods
Domain Decomposition Method
Preconditioner
Balancing
Magnetic Field

An estimate of the complexity of the section finding problem on algebraic surfaces

Okumura, S., Akiyama, K. & Takagi, T., 1 13 2017, Proceedings - 2016 4th International Symposium on Computing and Networking, CANDAR 2016. Institute of Electrical and Electronics Engineers Inc., p. 28-36 9 p. 7818591. (Proceedings - 2016 4th International Symposium on Computing and Networking, CANDAR 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Cryptography
Quantum cryptography
Quantum computers
5 引用 (Scopus)

An experimental study of the BDD approach for the search LWE problem

Xu, R., Yeo, S. L., Fukushima, K., Takagi, T., Seo, H., Kiyomoto, S. & Henricksen, M., 1 1 2017, Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Proceedings. Gollmann, D., Miyaji, A. & Kikuchi, H. (版). Springer Verlag, p. 253-272 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10355 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Decoding
Experimental Study
Enumeration
Cryptography
Cryptosystem
1 引用 (Scopus)

Choosing Parameters for the Subfield Lattice Attack Against Overstretched NTRU

Duong, D. H., Yasuda, M. & Takagi, T., 1 1 2017, Information Security - 20th International Conference, ISC 2017, Proceedings. Nguyen, P. Q., Nguyen, P. Q. & Zhou, J. (版). Springer Verlag, p. 79-91 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10599 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Subfield
Attack
Lattice Reduction
Public key
Modulus
2 引用 (Scopus)

Enhancement for secure multiple matrix multiplications over ring-LWE homomorphic encryption

Mishra, P. K., Duong, D. H. & Yasuda, M., 1 1 2017, Information Security Practice and Experience - 13th International Conference, ISPEC 2017, Proceedings. Liu, J. K. & Samarati, P. (版). Springer Verlag, p. 320-330 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10701 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Homomorphic Encryption
Matrix multiplication
Cryptography
Enhancement
Ring

Formal equivalence classes model of fuzzy relational databases using relational calculus

Akbar, M. D. & Mizoguchi, Y., 12 4 2017, Proceedings - 2017 International Conference on Applied Computer and Communication Technologies, ComCom 2017. Institute of Electrical and Electronics Engineers Inc., 巻 2017-January. p. 1-6 6 p.

研究成果: 著書/レポートタイプへの貢献会議での発言

Equivalence classes
Soft computing
Websites
Relational database
Equivalence

Formalization of proofs using relational calculus

Mizoguchi, Y., Tanaka, H. & Inokuchi, S., 2 2 2017, Proceedings of 2016 International Symposium on Information Theory and Its Applications, ISITA 2016. Institute of Electrical and Electronics Engineers Inc., p. 527-531 5 p. 7840480. (Proceedings of 2016 International Symposium on Information Theory and Its Applications, ISITA 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

formalization
Automata theory
Computer science
computer science
assistant
3 引用 (Scopus)

Memory-constrained implementation of lattice-based encryption scheme on standard Java Card

Yuan, Y., Fukushima, K., Kiyomoto, S. & Takagi, T., 6 16 2017, Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2017. Institute of Electrical and Electronics Engineers Inc., p. 47-50 4 p. 7951796. (Proceedings of the 2017 IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2017).

研究成果: 著書/レポートタイプへの貢献会議での発言

Cryptography
Quantum cryptography
Data storage equipment
Quantum computers
Smart cards

Modeling and managing airport passenger flow under uncertainty: A case of fukuoka airport in Japan

Yamada, H., Ohori, K., Iwao, T., Kira, A., Kamiyama, N., Yoshida, H. & Anai, H., 1 1 2017, Social Informatics - 9th International Conference, SocInfo 2017, Proceedings. Ciampaglia, G. L., Yasseri, T. & Mashhadi, A. (版). Springer Verlag, p. 419-430 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10540 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Airports
Japan
Congestion
Uncertainty
Modeling
2 引用 (Scopus)

Power-Efficient Breadth-First Search with DRAM Row Buffer Locality-Aware Address Mapping

Imamura, S., Yasui, Y., Koji, I., Ono, T., Sasaki, H. & Fujisawa, K., 1 23 2017, Proceedings of HPGDMP 2016: High Performance Graph Data Management and Processing - Held in conjunction with SC 2016: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 17-24 8 p. 7830443. (Proceedings of HPGDMP 2016: High Performance Graph Data Management and Processing - Held in conjunction with SC 2016: The International Conference for High Performance Computing, Networking, Storage and Analysis).

研究成果: 著書/レポートタイプへの貢献会議での発言

Dynamic random access storage
Data storage equipment
Simulators
Controllers
2 引用 (Scopus)

Reconfiguration of maximum-weight b-matchings in a graph

Ito, T., Kakimura, N., Kamiyama, N., Kobayashi, Y. & Okamoto, Y., 1 1 2017, Computing and Combinatorics - 23rd International Conference, COCOON 2017, Proceedings. Springer Verlag, 巻 10392 LNCS. p. 287-296 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10392 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Reconfiguration
Polynomials
Graph in graph theory
Bipartite Graph
Integer
3 引用 (Scopus)

Recovering attacks against linear sketch in fuzzy signature schemes of ACNS 2015 and 2016

Yasuda, M., Shimoyama, T., Takenaka, M., Abe, N., Yamada, S. & Yamaguchi, J., 1 1 2017, Information Security Practice and Experience - 13th International Conference, ISPEC 2017, Proceedings. Liu, J. K. & Samarati, P. (版). Springer Verlag, p. 409-421 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10701 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Biometrics
Signature Scheme
Attack
Template
Signature
1 引用 (Scopus)

Restrictions of free arrangements and the division theorem

Abe, T., 1 1 2017, Perspectives in Lie Theory. Callegaro, F., Carnovale, G., Caselli, F., De Concini, C. & De Sole, A. (版). Springer International Publishing, p. 389-401 13 p. (Springer INdAM Series; 巻数 19).

研究成果: 著書/レポートタイプへの貢献会議での発言

Division
Arrangement
Restriction
Theorem
Characteristic polynomial
2 引用 (Scopus)

Revisiting the cubic UOV signature scheme

Duong, D. H., Petzoldt, A., Wang, Y. & Takagi, T., 1 1 2017, Information Security and Cryptology – ICISC 2016 - 19th International Conference, Revised Selected Papers. Hong, S. & Park, J. H. (版). Springer Verlag, p. 223-238 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10157 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Quantum computers
Electronic document identification systems
Signature Scheme
Cryptography
Attack
1 引用 (Scopus)

Revisiting the efficient key generation of ZHFE

Ikematsu, Y., Duong, D. H., Petzoldt, A. & Takagi, T., 1 1 2017, Codes, Cryptology and Information Security - 2nd International Conference, C2SI 2017, Proceedings In Honor of Claude Carlet. Nitaj, A., El Hajji, S. & Souidi, E. M. (版). Springer Verlag, p. 195-212 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10194 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Cryptography
Linear algebra
Cryptosystem
Encryption
Efficient Algorithms
2 引用 (Scopus)

Secure and efficient pairing at 256-Bit security level

Kiyomura, Y., Inoue, A., Kawahara, Y., Yasuda, M., Takagi, T. & Kobayashi, T., 1 1 2017, Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Proceedings. Gollmann, D., Miyaji, A. & Kikuchi, H. (版). Springer Verlag, p. 59-79 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10355 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Pairing
Cryptography
Pairing-based Cryptography
Sieves
Curve
1 引用 (Scopus)

The beauty and the beasts—The hard cases in LLL reduction

Alsayigh, S., Ding, J., Takagi, T. & Wang, Y., 1 1 2017, Advances in Information and Computer Security - 12th International Workshop on Security, IWSEC 2017, Proceedings. Obana, S. & Chida, K. (版). Springer Verlag, p. 19-35 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 10418 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Beast
Higher Dimensions
Failure Probability
Geometric Structure
Angle
2016
2 引用 (Scopus)

Advanced computing and optimization infrastructure for extremely large-scale graphs on post peta-scale supercomputers

Fujisawa, K., Endo, T. & Yasui, Y., 1 1 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (版). Springer Verlag, p. 265-274 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9725).

研究成果: 著書/レポートタイプへの貢献会議での発言

Supercomputers
Supercomputer
Semidefinite Programming
Infrastructure
Optimization

An elementary introduction to matrix exponential for CG

Ochiai, H., Anjyo, K. & Kimura, A., 7 24 2016, ACM SIGGRAPH 2016 Courses, SIGGRAPH 2016. Association for Computing Machinery, Inc, a4

研究成果: 著書/レポートタイプへの貢献会議での発言

2 引用 (Scopus)

A sufficient condition for tail asymptotics of SIR distribution in downlink cellular networks

Miyoshi, N. & Shirai, T., 6 15 2016, 2016 14th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2016. Institute of Electrical and Electronics Engineers Inc., 7492955. (2016 14th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Tail Asymptotics
Cellular Networks
Interference
Sufficient Conditions
Stochastic models
2 引用 (Scopus)

Comprehensive and improved secure biometric system using homomorphic encryption

Mandal, A., Roy, A. & Yasuda, M., 1 1 2016, Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015 and 4th International Workshop, QASA 2015, Revised Selected Papers. Navarro-Arribas, G., Aldini, A., Martinelli, F., Suri, N. & Garcia-Alfaro, J. (版). Springer Verlag, p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9481).

研究成果: 著書/レポートタイプへの貢献会議での発言

Homomorphic Encryption
Biometrics
Authentication
Cryptography
Template
1 引用 (Scopus)

Constructing Pairing-Friendly Elliptic Curves Using Global Number Fields

Yasuda, T., Takagi, T. & Sakurai, K., 3 2 2016, Proceedings - 2015 3rd International Symposium on Computing and Networking, CANDAR 2015. Institute of Electrical and Electronics Engineers Inc., p. 477-483 7 p. 7424760. (Proceedings - 2015 3rd International Symposium on Computing and Networking, CANDAR 2015).

研究成果: 著書/レポートタイプへの貢献会議での発言

Number theory
Cryptography

Cryptanalysis of a public key cryptosystem based on diophantine equations via weighted LLL reduction

Ding, J., Kudo, M., Okumura, S., Takagi, T. & Tao, C., 1 1 2016, Advances in Information and Computer Security - 11th International Workshop on Security, IWSEC 2016, Proceedings. Springer Verlag, p. 305-315 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 9836 LNCS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Public-key Cryptosystem
Diophantine equation
Cryptanalysis
LLL Algorithm
Cryptography
3 引用 (Scopus)

Efficient stabilization of cooperative matching games

Ito, T., Kakimura, N., Kamiyama, N., Kobayashi, Y. & Okamoto, Y., 1 1 2016, AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 41-49 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

研究成果: 著書/レポートタイプへの貢献会議での発言

Stabilization
Combinatorial optimization
Polynomials
1 引用 (Scopus)

Evaluating the impacts of code-level performance tunings on power efficiency

Imamura, S., Oka, K., Yasui, Y., Inadomi, Y., Fujisawa, K., Endo, T., Ueno, K., Fukazawa, K., Hata, N., Kakibuka, Y., Koji, I. & Ono, T., 1 1 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. Ak, R., Karypis, G., Xia, Y., Hu, X. T., Yu, P. S., Joshi, J., Ungar, L., Liu, L., Sato, A-H., Suzumura, T., Rachuri, S., Govindaraju, R. & Xu, W. (版). Institute of Electrical and Electronics Engineers Inc., p. 362-369 8 p. 7840624. (Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Tuning
Supercomputers
Program processors
Scalability
Electric power utilization
3 引用 (Scopus)

Exact and approximation algorithms for weighted matroid intersection

Huang, C. C., Kakimura, N. & Kamiyama, N., 1 1 2016, 27th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2016. Krauthgamer, R. (版). Association for Computing Machinery, p. 430-444 15 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; 巻数 1).

研究成果: 著書/レポートタイプへの貢献会議での発言

Matroid Intersection
Approximation algorithms
Exact Algorithms
Approximation Algorithms
Matroid
4 引用 (Scopus)

Extreme scale breadth-first search on supercomputers

Ueno, K., Suzumura, T., Maruyama, N., Fujisawa, K. & Matsuoka, S., 1 1 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. Ak, R., Karypis, G., Xia, Y., Hu, X. T., Yu, P. S., Joshi, J., Ungar, L., Liu, L., Sato, A-H., Suzumura, T., Rachuri, S., Govindaraju, R. & Xu, W. (版). Institute of Electrical and Electronics Engineers Inc., p. 1040-1047 8 p. 7840705. (Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016).

研究成果: 著書/レポートタイプへの貢献会議での発言

Supercomputers
Resource allocation
Data structures