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

… Alternative Names

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

Less

Researcher Number	40443212
Affiliation (based on the past Project Information) *help	2011: National Institute of Advanced Industrial Science and Technology, 研究員 2009 – 2010: National Institute of Advanced Industrial Science and Technology, 情報セキュリティ研究センター, 研究員
Review Section/Research Field	Principal Investigator Software
Keywords	Principal Investigator 形式手法 / 暗号・認証等 / ソフトウェア学 / ディペンダブル・コンピューティング

暗号ソフトウェアの実装に対するセキュリティ検証Principal Investigator
- Principal Investigator
  
  NOWAK David (NOWAK DavId)
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  National Institute of Advanced Industrial Science and Technology

All 2011 2010 2009

All Journal Article Presentation

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

1. 山田聖 (80415760)

# of Collaborated Projects: 1 results

# of Collaborated Products: 6 results

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

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

Research Projects

Research Products

Co-Researchers

暗号ソフトウェアの実装に対するセキュリティ検証Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A calculus for game-based security proofs2010

Author(s)

Journal Title

Data Source

[Journal Article] A formalization of polytime functions2010

Author(s)

Journal Title

Data Source

[Journal Article] A calculus for game-based security proofs2010

Author(s)

Journal Title

Data Source

[Journal Article] A calculus for game-based security proofs (extended abstract)2010

Author(s)

Journal Title

Data Source

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

Author(s)

Journal Title

Data Source

[Journal Article] Certifying assembly with formal cryptographic proofs : the case of BBS2009

Author(s)

Journal Title

Data Source

[Presentation] Implicit computational complexity for formal security2011

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] A calculus for game-based security proofs2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] A calculus for game-based security proofs2010

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Formal security proofs for cryptographic algorithms and their implementations2009

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

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

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Certifying assembly with formal cryptographic proofs : the case of BBS2009

Author(s)

Organizer

Place of Presentation

Year and Date

Data Source

[Presentation] Certifying assembly with formal cryptographic proofs : the case of BBS2009

Author(s)

Organizer

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

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