NOWAK David ノウ゛アツクダウ゛イツド

… 別表記

NOWAK DavId ノウ゛アツクダウ゛イツド

研究者番号	40443212
所属 (過去の研究課題情報に基づく) *注記	2011年度: 独立行政法人産業技術総合研究所, 研究員 2009年度 – 2010年度: 独立行政法人産業技術総合研究所, 情報セキュリティ研究センター, 研究員
審査区分/研究分野	研究代表者ソフトウエア
キーワード	研究代表者形式手法 / 暗号・認証等 / ソフトウェア学 / ディペンダブル・コンピューティング

暗号ソフトウェアの実装に対するセキュリティ検証研究代表者
- 研究代表者
  
  NOWAK David (NOWAK DavId)
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  独立行政法人産業技術総合研究所

すべて 2011 2010 2009

すべて雑誌論文学会発表

[雑誌論文] A calculus for game-based security proofs2010
- 著者名/発表者名
  David Nowak, Yu Zhang
- 雑誌名
  
  Proceedings of PROVSEC 2010 Lecture Notes in Computer Science
  
  ページ: 35-52
- 査読あり
- データソース
  KAKENHI-PROJECT-21500046
[雑誌論文] A formalization of polytime functions2010
- 著者名/発表者名
  Sylvain Heraud, David Nowak
- 雑誌名
  
  arXiv
  
  巻: 1102.5495 ページ: 1-13
- データソース
  KAKENHI-PROJECT-21500046
[雑誌論文] A calculus for game-based security proofs2010
- 著者名/発表者名
  David Nowak, Yu Zhang
- 雑誌名
  
  Cryptology ePrint Archive
  
  巻: 2010/230 ページ: 1-18
- データソース
  KAKENHI-PROJECT-21500046
[雑誌論文] A calculus for game-based security proofs (extended abstract)2010
- 著者名/発表者名
  David Nowak, Yu Zhang
- 雑誌名
  
  日本応用数理学会2010年度年会講演予稿集
  
  ページ: 57-58
- データソース
  KAKENHI-PROJECT-21500046
[雑誌論文] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009
- 著者名/発表者名
  Affeldt Reynald, Nowak David, 山田聖
- 雑誌名
  
  日本応用数理学会2009年度年会講演予稿集
  
  ページ: 53-54
- データソース
  KAKENHI-PROJECT-21500046
[雑誌論文] Certifying assembly with formal cryptographic proofs : the case of BBS2009
- 著者名/発表者名
  Affeldt Reynald, Nowak David, Yamada Kiyoshi
- 雑誌名
  
  Electronic Communications of the EASST 23
- 査読あり
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] Implicit computational complexity for formal security2011
- 著者名/発表者名
  David Nowak
- 学会等名
  Osaka Workshop for Verification and Validation
- 発表場所
  尼崎市
- 年月日
  2011-03-01
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] 疑似乱数生成器の実装に対する暗号論的安全性の検証2010
- 著者名/発表者名
  山田聖, Nowak David
- 学会等名
  12回プログラミングおよびプログラミング言語ワークショップ(PPL2010)
- 発表場所
  香川県
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] A calculus for game-based security proofs2010
- 著者名/発表者名
  Zhang Yu, Nowak David
- 学会等名
  International workshop on Developments in Implicit Computational complExity(DICE2010)
- 発表場所
  キプロス
- 年月日
  2010-03-28
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] A calculus for game-based security proofs2010
- 著者名/発表者名
  David Nowak, Yu Zhang
- 学会等名
  日本応用数理学会2010年度年会講演予稿集
- 発表場所
  明治大学駿河台キャンパス
- 年月日
  2010-09-06
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] Formal security proofs for cryptographic algorithms and their implementations2009
- 著者名/発表者名
  Nowak David
- 学会等名
  Seminar of the Laboratory for Computer Science, Chinese Academy of Sciences
- 発表場所
  中国北京
- 年月日
  2009-09-10
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009
- 著者名/発表者名
  Affeldt Reynald, Nowak David, 山田聖
- 学会等名
  日本応用数理学会2009年度年会
- 発表場所
  大阪大学豊中キャンパス
- 年月日
  2009-09-28
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] Certifying assembly with formal cryptographic proofs : the case of BBS2009
- 著者名/発表者名
  Affeldt Reynald, Nowak David, Yamada Kiyoshi
- 学会等名
  Theorem Proving and Provers(TPP)Meeting
- 発表場所
  関西学院大学神戸三田キャンパス
- 年月日
  2009-11-21
- データソース
  KAKENHI-PROJECT-21500046
[学会発表] Certifying assembly with formal cryptographic proofs : the case of BBS2009
- 著者名/発表者名
  Affeldt Reynald, Nowak David, Yamada Kiyoshi
- 学会等名
  Ninth international workshop on Automated Verification of Critical Systems(AVoCS 2009)
- 発表場所
  University of Wales, Gregynog Hall, UK
- 年月日
  2009-09-23
- データソース
  KAKENHI-PROJECT-21500046

1. 山田聖 (80415760)

共同の研究課題数: 1件

共同の研究成果数: 6件

NOWAK David ノウ゛アツク ダウ゛イツド

NOWAK DavId ノウ゛アツク ダウ゛イツド

研究課題

研究成果

共同研究者

暗号ソフトウェアの実装に対するセキュリティ検証研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

[雑誌論文] A calculus for game-based security proofs2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] A formalization of polytime functions2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] A calculus for game-based security proofs2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] A calculus for game-based security proofs (extended abstract)2010

著者名/発表者名

雑誌名

データソース

[雑誌論文] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009

著者名/発表者名

雑誌名

データソース

[雑誌論文] Certifying assembly with formal cryptographic proofs : the case of BBS2009

著者名/発表者名

雑誌名

データソース

[学会発表] Implicit computational complexity for formal security2011

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 疑似乱数生成器の実装に対する暗号論的安全性の検証2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] A calculus for game-based security proofs2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] A calculus for game-based security proofs2010

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Formal security proofs for cryptographic algorithms and their implementations2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] 形式的な暗号学的安全性証明によるアセンブリプログラムの安全性検証:BBSの事例2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Certifying assembly with formal cryptographic proofs : the case of BBS2009

著者名/発表者名

学会等名

発表場所

年月日

データソース

[学会発表] Certifying assembly with formal cryptographic proofs : the case of BBS2009

著者名/発表者名

学会等名

NOWAK David ノウ゛アツクダウ゛イツド

NOWAK DavId ノウ゛アツクダウ゛イツド