Anonymous Authentication Systems Based on Private Information Retrieval (2009)
Nakamura, Toru, Inenaga, Shunsuke, Ikeda, Daisuke, Baba, Kensuke, Yasuura, Hiroto, 中村, 徹, ...
Networked Digital Technologies (NDT 2009) : July 29-31, 2009 : Ostrava, The Czech Republic
マルチサービス環境における署名手法のリンク不能性に関する研究 (2009)
中村, 徹, 稲永, 俊介, 馬場, 謙介, 池田, 大輔, 安浦, 寛人, Nakamura, Toru, ...
2009年 暗号と情報セキュリティシンポジウム（SCIS2009） : 2009年1月20日(火)～ 1月23日(金) : 大津プリンスホテル
A Provably Secure and Unlinkable Authentication System with Smart Cards (2008)
Nakamura, Toru, Inenaga, Shunsuke, Ikeda, Daisuke, Baba, Kensuke, Yasuura, Hiroto, 中村, 徹, ...
This paper proposes an identification scheme realizing an authentication system with smart cards. The proposed scheme satisfies the following properties simultaneously: security, unlinkability in...
プライバシ保護とメモリ効率性の両立を実現するマルチサービス環境向け認証方式 (2008)
中村, 徹, 稲永, 俊介, 馬場, 謙介, 池田, 大輔, 安浦, 寛人, Nakamura, Toru, ...
コンピュータセキュリティシンポジウム 2008 (Computer Security Symposium 2008, CSS 2008) : 2008年10月8日(水)～10日(金) : 沖縄コンベンションセンター
A Note on Biometrics-based Authentication with Portable Device (2008)
Ohtsuka, Shinsuke, Kawamoto, Satoshi, Takano, Shigeru, Baba, Kensuke, Yasuura, Hiroto, 大塚, 信介, ...
International Conference on Security and Cryptography (SECRYPT 2008) : 26-29 July, 2008 : Porto, Portugal
Privacy and Personal Information Protection in RFID Systems (2008)
Nohara, Yasunobu, Baba, Kensuke, Inoue, Sozo, Yasuura, Hiroto, 野原, 康伸, 馬場, 謙介, ...
A Framework for Evaluating Privacy Protection of Authentication Systems (2008)
Nakamura, Toru, Inenaga, Shunsuke, Ikeda, Daisuke, Baba, Kensuke, Yasuura, Hiroto, 中村, 徹, ...
SCIS 2008, The 2008 Symposium on Cryptography and Information Security : Jan. 22-25, 2008 : Miyazaki, Japan
FFTを用いた近似文字列照合のスコア計算のための最適な写像 (2007)
中藤, 哲也, 馬場, 謙介, 森, 雅生, 廣川, 佐千男, Nakatoh, Tetsuya, Baba, Kensuke, ...
文字列中から与えられたパターンを見つけ出す文字列照合問題は，Web の情報検索やDNA...
プライバシ保護技術の評価のための権限認証モデル (2007)
中村, 徹, 稲永, 俊介, 馬場, 謙介, 池田, 大輔, 安浦, 寛人, Nakamura, Toru, ...
コンピュータセキュリティシンポジウム CSS2007 (Computer Security Symposium 2007) : 平成19年10月31日(水)～11月02日(金) : 奈良新公会堂, 奈良
A Door Access Control System with Mobile Phones (2007)
Yamasaki, Tomomi, Nakamura, Toru, Baba, Kensuke, Yasuura, Hiroto, 山崎, 知美, 中村, 徹, ...
Personal Wireless Communications (PWC'07) 12th IFIP (International Federation for Information Processing) International Conference September 12 – 14, 2007, Prague, Czech Republic
A Parallel Computation for Shift-Add Algorithm (2007)
Baba, Kensuke, E, Hanmei, Yu, Yunqing, 馬場, 謙介, 于, 雲青, ババ, ケンスケ, ...
The approximate string matching is useful in a wide area of applications such as biology. A practically significant speedup for solving this problem is obtained by representing strings as bit...
Bit-parallel Computation for Wavefront Algorithm (2007)
E, Hanmei, Baba, Kensuke, Yu, Yunqing, Murakami, Kazuaki, 鄂, 寒梅, 馬場, 謙介, ...
This paper presents a parallel algorithm for solving the edit distance problem. The edit distance represents a similarity of two strings and the dynamic programming approach is a general paradigm to...
中村, 徹, メスバ, ウッディンモハマッド, 馬場, 謙介, 安浦, 寛人, Nakamura, Toru, Mesbah, Uddin Mohammad, ...
2007年 暗号と情報セキュリティシンポジウム : The 2007 Symposium on Cryptography and Information Security (SCIS 2007) : Sasebo, Japan, Jan. 23-26, 2007 : The Institute of Electronics,...
山崎, 知美, 中村, 徹, 馬場, 謙介, 安浦, 寛人, Yamasaki, Tomomi, Nakamura, Toru, ...
2007年 暗号と情報セキュリティシンポジウム : The 2007 Symposium on Cryptography and Information Security (SCIS 2007) : Sasebo, Japan, Jan. 23-26, 2007 : The Institute of Electronics,...
RNA二次構造予測における塩基対数最大化アルゴリズムの高速化の検討 (2006)
柴田, 圭, 馬場, 謙介, Shibata, Kei, Baba, Kensuke
RNA 配列の解析においては，文字列としての単純な並びよりも，塩基対の相互作用による二次構造が重要視さ れている．本稿では，RNA...
Approximate String Matching Based on Bit Operations (2006)
E, Hanmei, Yu, Yunqing, Baba, Kensuke, Murakami, Kazuaki, 鄂, 寒梅, 于, 雲青, ...
International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006)
Bit-parallel Computation for String Alignment (2006)
Yu, Yunqing, Baba, Kensuke, E, Hanmei, Murakami, Kazuaki, 于, 雲青, 馬場, 謙介, ...
International Conference of Computational Methods in Sciences and Engineering 2006 (ICCMSE 2006)
九州大学全学共通ICカードにおける新しい個人識別のしくみ (2006)
馬場, 謙介, Baba, Kensuke, ババ, ケンスケ
第5回情報科学技術フォーラム (FIT2006) : 2006年9月5日～7日 : 福岡大学七隈キャンパス, 福岡
ハードウェア化に適した近似文字列照合アルゴリズム (2006)
馬場, 謙介, Baba, Kensuke, ババ, ケンスケ
NGArch (Next Generation Architecture) Forum 2006 : 学術総合センター, 東京
ハッシュを用いたID照合における計算時間についての考察 (2006)
中村, 徹, 馬場, 謙介, 安浦, 寛人, Nakamura, Toru, Baba, Kensuke, Yasuura, Hiroto
近年，IC カードなどの小型デバイスを用いた電子的な認証が広く行われるようになり，暗号化として処理の軽い...
On Authentication between Human and Computer (2006)
Watanabe, Takahiro, Nohara, Yasunobu, Baba, Kensuke, Inoue, Sozo, Yasuura, Hiroto, 渡部, 貴大, ...
Electronic authentication with a portable device such as a smart card has been receiving increasing attention. In an authentication, the portable device is regarded as the human user himself....
User-Computer間の認証に関する考察 (2006)
渡部, 貴大, 野原, 康伸, 馬場, 謙介, 井上, 創造, 安浦, 寛人, Watanabe, Takahiro, ...
The 2006 Symposium on Cryptography and Information Security(SCIS 2006)予稿集, Jan. 2006.
リンク不能性を持つID照合システムの実装に向けて (2006)
中村, 徹, 野原, 康伸, 馬場, 謙介, 井上, 創造, 安浦, 寛人, Nakamura, Toru, ...
The 2006 Symposium on Cryptography and Information Security(SCIS 2006)予稿集, Jan. 2006.
Quantitative Evaluation of Unlinkable ID Matching Schemes (2005)
Nohara, Yasunobu, Inoue, Sozo, Baba, Kensuke, Yasuura, Hiroto, 野原, 康伸, 井上, 創造, ...
As pervasive computing environments become popular, RFID devices, such as contactless smart cards and RFID tags, are introduced into our daily life. However, there exists a privacy problem that a...
電子的な文字列による個人の識別が一般的になり， なりすましの他に，行動履歴を紐付けするリンクに...
リンク不能性を実現し大規模RFIDシステムに適用可能なID照合プロトコル (2005)
野原, 康伸, 井上, 創造, 馬場, 謙介, 安浦, 寛人, Nohara, Yasunobu, Inoue, Sozo, ...
近年急速に，IC カードやRFID タグといったデバイスの普及が進んできている．しかし，第 三者がユーザに無断でデバイスのID...
ポータブルソフトウェアキー（貸し借り可能な電子鍵） (2004)
納富, 貞嘉, 馬場, 謙介, Noutomi, Sadayoshi, Baba, Kensuke
近年，ICチップの大容量化，高速化に伴い，非接触型ICカード機能を搭載した携帯電話が開発さ...
On the Length of the Minimum Solution of Word Equations in One Variable (2004)
Baba, Kensuke, Tsuruta, Satoshi, Shinohara, Ayumi, Takeda, Masayuki, 馬場, 謙介, 鶴田, 聡士, ...
28th International Symposium on Mathematical Foundations of Computer Science (MFCS 2003) : August 25-29, 2003 : Bratislava, Slovak Republic
A Generalization of FFT Algorithms for String Matching (2003)
Baba, Kensuke, Tanaka, Yoshihito, Nakatoh, Tetsuya, Shinohara, Ayumi, 馬場, 謙介, 田中, 義人, ...
International Symposium on Information Science and Electrical Engineering 2003 (ISEE 2003) : November 13-15, 2003 : ACROS Fukuoka, Fukuoka
An Efficient Mapping for Score of String Matching (2003)
Nakatoh, Tetsuya, Baba, Kensuke, Ikeda, Daisuke, Yamada, Yasuhiro, Hirokawa, Sachio, 中藤, 哲也, ...
Proceedings of the Prague Stringology Conference '03, pp.127-136, 2003
中藤, 哲也, 馬場, 謙介, 山田, 泰寛, 池田, 大輔, 廣川, 佐千男, Nakatoh, Tetsuya, ...
第14回データ工学ワークショップ(DEWS2003), 6-B-03, Jun 2003.
A Note on Randomized Algorithm for String Matching with Mismatches (2002)
Baba, Kensuke, Shinohara, Ayumi, Takeda, Masayuki, Inenaga, Shunsuke, Arikawa, Setsuo, 馬場, 謙介, ...
Prague Stringology Conference '02 (PSC '02) : September 23-24, 2002 : Czech Technical University in Prague
COMBINATORY LOGIC AND $ \lambda $-CALCULUS FOR CLASSICAL LOGIC (2000)
Baba, Kensuke, Kameyama, Yukiyoshi, Hirokawa, Sachio, 馬場, 謙介, 亀山, 幸義, 廣川, 佐千男
Since Griffin's work in 1990, classical logic has been an attractive target for extracting computational contents. However, the classical principle used in Griffin's type system is the...
Combinatory Logic and λ-Calculus for Classical Logic (2000)
Baba, Kensuke, Kameyama, Yukiyoshi, Hirokawa, Sachio, 馬場, 謙介, 亀山, 幸義, 廣川, 佐千男
Since Griffin's work in 1990, classical logic has been an attractive target for extracting computational contents. However, the classical principle used in Griffin's type system is the...
Parallel Reduction in Type Free λμ-Calculus (2000)
Baba, Kensuke, Hirokawa, Sachio, Fujita, Ken-etsu, 馬場, 謙介, 廣川, 佐千男, 藤田, 憲悦
Typed λμ-calculus is known to be strongly normalizing and weakly Church-Rosser, and hence confluent. In fact, Parigot formulated a parallel reduction to prove confluency of typed λμ-calculus by...
Case Calculus for Classical Logic (2000)
Baba, Kensuke, Hirokawa, Sachio, Kashima, Ryo, Komori, Yuichi, Takeuti, Izumi, 馬場, 謙介, ...
After the work of Griffin in 1990, there have been many works to extend the Curry-Howard isomorphism for classical logic. Most of these research uses sequent calculus with multiple conclusions. In...