Formal Security Verification for Searchable Symmetric Encryption Using ProVerif

Authors: Mieno, Takehiko, Okazaki, Hiroyuki, Arai, Kenichi, Futa, Yuichi, Yamamoto, Hiroaki

Source: 2024 International Symposium on Information Theory and Its Applications (ISITA) Information Theory and Its Applications (ISITA), 2024 International Symposium on. :419-424 Nov, 2024

Relation: 2024 International Symposium on Information Theory and Its Applications (ISITA)

Formal Verification of Authenticated Encryption with Associated Data with Tamarin Prover

Authors: Mieno, Takehiko, Okazaki, Hiroyuki, Arai, Kenichi, Futa, Yuichi

Source: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) CSCE Computer Science, Computer Engineering, & Applied Computing (CSCE), 2023 Congress in. :2465-2471 Jul, 2023

Relation: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE)

Formal Verification of Merkle–Damgård Construction in ProVerif

Authors: Mieno, Takehiko, Yoshimura, Togo, Okazaki, Hiroyuki, Futa, Yuichi, Arai, Kenichi

Source: 2020 International Symposium on Information Theory and Its Applications (ISITA) Information Theory and Its Applications (ISITA), 2020 International Symposium on. :602-606 Oct, 2020

Relation: 2020 International Symposium on Information Theory and Its Applications (ISITA)

Effects of Gamma-ray and neutron irradiation on infrared optical properties of ZnSe and ZnS for ITER divertor thermography

Authors: Ushiki, Tomohiko, Imazawa, Ryota, Kitazawa, Sin-Ichi, Ishikawa, Masao, Murakami, Hidetoshi, Shimizu, Kosuke, Sugie, Tatsuo, Okazaki, Hiroyuki, Seki, Masaya, Buenavidez, Butch, Kasano, Naoto, Katayanagi, Yuzi, Nunoya, Yoshihiko

Source: In Journal of Nuclear Materials July 2024 595

Suitable Symbolic Models for Cryptographic Verification of Secure Protocols in ProVerif

Authors: Okazaki, Hiroyuki, Futa, Yuichi, Arai, Kenichi

Source: 2018 International Symposium on Information Theory and Its Applications (ISITA) Information Theory and Its Applications (ISITA), 2018 International Symposium on. :326-330 Oct, 2018

Relation: 2018 International Symposium on Information Theory and Its Applications (ISITA)

A Low-Cost 30-W Class X-Band GaN-on-Si MMIC Power Amplifier with a GaAs MMIC Output Matching Circuit

Authors: Kamioka, Jun, Kawamura, Yoshifumi, Tarui, Yukinobu, Nakahara, Kazuhiko, Kamo, Yoshitaka, Okazaki, Hiroyuki, Hangai, Masatake, Yamanaka, Koji, Fukumoto, Hiroshi

Source: 2018 13th European Microwave Integrated Circuits Conference (EuMIC) European Microwave Integrated Circuits Conference (EuMIC), 2018 13th. :93-96 Sep, 2018

Relation: 2018 13th European Microwave Integrated Circuits Conference (EuMIC)

Effect of ion irradiation after platinum nanoparticles deposition onto glassy carbon substrates on microstructural evolution and oxygen reduction reaction activities

Authors: Taguchi, Tomitsugu, Yamamoto, Shunya, Koshikawa, Hiroshi, Okazaki, Hiroyuki, Idesaki, Akira, Yamaki, Tetsuya

Source: In Nuclear Inst. and Methods in Physics Research, B April 2024 549

Formalization of statistical indistinguishability of probability distribution ensembles in Mizar

Authors: Okazaki, Hiroyuki

Source: 2016 International Symposium on Information Theory and Its Applications (ISITA) Information Theory and Its Applications (ISITA), 2016 International Symposium on. :517-521 Oct, 2016

Relation: 2016 International Symposium on Information Theory and Its Applications (ISITA)

A 2.6-GHz-band 78-W Doherty power amplifier with GaN HEMT unit-cell structure robust for layout-dependent loop oscillation

Authors: Imai, Shohei, Watanabe, Shinsuke, Komatsuzaki, Yuji, Okazaki, Hiroyuki, Shinjo, Shintaro, Yamanaka, Koji, Sasaki, Yoshinobu, Katayama, Hideaki, Inoue, Akira

Source: 2016 46th European Microwave Conference (EuMC) Microwave Conference (EuMC), 2016 46th European. :1441-1444 Oct, 2016

Relation: 2016 46th European Microwave Conference (EuMC)

Privacy Preserving Logic Formula Calculation in Cloud

Authors: Yamaguchi, Hiroshi, Tsujii, Shigeo, Okazaki, Hiroyuki, Shidama, Yasunari

Source: 2016 IEEE Tenth International Conference on Semantic Computing (ICSC) Semantic Computing (ICSC), 2016 IEEE Tenth International Conference on. :329-332 Feb, 2016

Relation: 2016 IEEE Tenth International Conference on Semantic Computing (ICSC)

Annealing Time Dependence on Creation of SiV, GeV, and SnV in Diamond by Atmospheric Annealing at 1800 °C.

Authors: Baba, Tomoya, Iizawa, Masatomi, Takenaka, Kouta, Kimura, Kosuke, Kawasaki, Airi, Taniguchi, Takashi, Miyakawa, Masashi, Okazaki, Hiroyuki, Hanaizumi, Osamu, Onoda, Shinobu

Source: Physica Status Solidi. A: Applications & Materials Science; Mar2025, Vol. 222 Issue 6, p1-8, 8p

A Comparison of Telecollaborative Classes between Japan and Asian-Pacific Countries--Asian-Pacific Exchange Collaboration (APEC) Project

Authors: Shimizu, Yoshihiko, Pack, Dwayne, Kano, Mikio, Okazaki, Hiroyuki, Yamamura, Hiroto

Source: Research-publishing.net. 2016.

Peer Reviewed: Y

Page Count: 9

Descriptors: Foreign Countries, Student Exchange Programs, International Educational Exchange, English (Second Language), Videoconferencing, Computer Mediated Communication, Elementary Secondary Education, Program Effectiveness, Likert Scales, Questionnaires, Pretests Posttests, Language Acquisition

Geographic Terms: Japan, Hawaii, Thailand, Taiwan

Formalization of Gaussian integers, Gaussian rational numbers, and their algebraic structures with Mizar

Authors: Futa, Yuichi, Mizushima, Daichi, Okazaki, Hiroyuki

Source: 2012 International Symposium on Information Theory and its Applications Information Theory and its Applications (ISITA), 2012 International Symposium on. :591-595 Oct, 2012

Relation: 2012 International Symposium on Information Theory and its Applications (ISITA)

380-keV Ar+-irradiation effects on optical phonons in graphite studied with transient reflection measurement.

Authors: Kimata, Tetsuya^1,2, kimata.tetsuya@qst.go.jp, Kato, Taichi^1,3, Takagi, Itsuki^1,3, Konno, Yuma^1,3, Okazaki, Hiroyuki², Yamamoto, Shunya², Yamaki, Tetsuya², Nakamura, Kazutaka G.^1,3

Source: Journal of Applied Physics; 10/7/2023, Vol. 134 Issue 13, p1-6, 6p

380-keV Ar⁺-irradiation effects on optical phonons in graphite studied with transient reflection measurement.

Authors: Kimata, Tetsuya, Kato, Taichi, Takagi, Itsuki, Konno, Yuma, Okazaki, Hiroyuki, Yamamoto, Shunya, Yamaki, Tetsuya, Nakamura, Kazutaka G.

Source: Journal of Applied Physics; 10/7/2023, Vol. 134 Issue 13, p1-6, 6p

Subject Terms: PHONONS, PYROLYTIC graphite, CRYSTAL defects

Optical and electrical properties of InP porous structures formed on P-N substrates

Authors: Okazaki, Hiroyuki, Sato, Taketomo, Yoshizawa, Naoki, Hashizume, Tamotsu

Source: 2010 22nd International Conference on Indium Phosphide and Related Materials (IPRM) Indium Phosphide & Related Materials (IPRM), 2010 International Conference on. :1-4 May, 2010

Relation: 2010 22nd International Conference on Indium Phosphide and Related Materials (IPRM)

Origin of Pressure-induced Superconducting Phase in K$_{x}$Fe$_{2-y}$Se$_{2}$ studied by Synchrotron X-ray Diffraction and Spectroscopy

Authors: Yamamoto, Yoshiya, Yamaoka, Hitoshi, Tanaka, Masashi, Okazaki, Hiroyuki, Ozaki, Toshinori, Takano, Yoshihiko, Lin, Jung-Fu, Fujita, Hidenori, Kagayama, Tomoko, Shimizu, Katsuya, Hiraoka, Nozomu, Ishii, Hirofumi, Liao, Yen-Fa, Tsuei, Ku-Ding, Mizuki, Jun'ichiro

Subject Terms: Condensed Matter - Superconductivity

Access URL: http://arxiv.org/abs/1605.00053

Relationship between the microstructure, local magnetism and coercivity in Ga-containing Nd-Fe-B sintered magnets

Authors: Billington, David, Okazaki, Hiroyuki, Toyoki, Kentaro, Kotani, Yoshinori, Takada, Yukio, Sato, Takashi, Kaneko, Yuji, Kato, Akira, Sasaki, Taisuke T., Ohkubo, Tadakatsu, Hono, Kazuhiro, Nakamura, Tetsuya

Source: In Acta Materialia 15 February 2021 205

Activity Enhancement of a Carbon Electrode Material for Vanadium Redox Flow Battery by Electron-Beam Irradiation

Authors: Ishitobi, Hirokazu, Yamamoto, Shunya, Ishii, Takafumi, Oba, Kosuke, Doki, Honoka, Obata, Ryusuke, Miyashita, Atsumi, Okazaki, Hiroyuki, Nakagawa, Nobuyoshi

Source: Journal of chemical engineering of Japan. 54(4/7):219-225

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN627002475&indx=1&recIds=ETOCRN627002475

Electrochemical deposition of FeSe on RABiTS tapes

Authors: Demura, Satoshi, Tanaka, Masashi, Yamashita, Aichi, Denholme, Saleem J., Okazaki, Hiroyuki, Fujioka, Masaya, Yamaguchi, Takahide, Takeya, Hiroyuki, Iida, Kazumasa, Holzapfel, Bernhard, Sakata, Hideaki, Takano, Yoshihiko

Source: J. Phys. Soc. Jpn. Vol. 85, No. 1 (2016)

Subject Terms: Condensed Matter - Superconductivity

Access URL: http://arxiv.org/abs/1412.8426