国内論文誌

• RSA暗号プロセッサ自動生成システムの設計と評価
  馬場祐一, 宮本篤志, 本間尚文, 青木孝文, 佐藤証
  情報処理学会論文誌, vol. 51, no. 9, pp. 1847-1858, September 2010.

• 暗号モジュールの安全な実装を目指して ― サイドチャネル攻撃の標準評価環境の構築 ―
  佐藤証, 片下敏宏, 坂根広史
  Synthesiology, vol. 3, no. 1, pp. 56-65, March 2010.

• 暗号モジュールへのサイドチャネル攻撃とその安全性評価の動向
  本間尚文, 青木孝文, 佐藤証
  電子情報通信学会論文誌, vol. J93-A, no. 2, pp. 42-51, February 2010.

• RSA暗号プロセッサのFPGA実装に対する平文選択型SPAの評価
  宮本篤志, 本間尚文, 青木孝文, 佐藤証
  電子情報通信学会論文誌, vol. J92-D, no. 12, pp. 2168-2180, December 2009.

• ハッシュ関数Whirlpoolの高スケーラブル回路アーキテクチャ
  菅原健, 本間尚文, 佐藤証, 青木孝文,
  情報処理学会論文誌, vol.50, no.11, pp.2618-2632, November 2009.

• SHA-1の攻撃専用ハードウェアのアーキテクチャとコストに関する考察
  佐藤証,
  情報処理学会論文誌, vol.47, no.7, pp.2182-2193, July 2006.

• GF(p)上の楕円曲線暗号回路のスケーラブル・アーキテクチャ
  佐藤証, 高野光司, 大庭信之,
  電子情報通信学会論文誌, vol.J85-A, no.11, pp.1264-1272, November 2002.

• 共通鍵暗号AESの低消費電力論理回路構成法
  森岡澄夫，佐藤証,
  情報処理学会論文誌，vol.44, no.5, pp.1321-1328, May 2003.

• Lempel-Zivデータ圧縮機能を備えたポストスクリプトプリンタコントローラ
  佐藤証, 上田眞, 佐藤剛士,
  電子情報通信学会論文誌, vol.J81-C2, no.8, pp.710-718, Augst 1998.

• 連想メモリを用いたLempel-Zivデータ圧縮回路の小型・高速化と圧縮率の向上
  佐藤証,
  電子情報通信学会論文誌, vol.J81-C2, no.7, pp.645-653, July 1998.

• 連想メモリを用いたLempel-Ziv型高速データ圧縮回路
  佐藤証, 新島秀人,
  電子情報通信学会論文誌, vol.J77-C2, no.12, pp.573-579, December 1994.

国内研究会

• 物理特性を用いたLSIの真贋判定法
  堀洋平, 片下敏宏, 姜玄浩, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2011) シンポジウム, 7C-3, pp. 1296-1300, July 2011.

• ICカードの実装安全性標準評価ボードの開発とサイドチャネル攻撃評価
  片下敏宏, 堀洋平, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2011) シンポジウム, 7C-4, pp. 1301-1307, July 2011.

• Virtex-5上の動的部分再構成暗号回路の消費電力評価
  堀洋平，片下敏宏，佐藤証,
  リコンフィギャラブルシステム研究会 (RECONF), 信学技報，nol.111, no.31, RECONF2011-17, pp.97-102, May, 2011

• Performance Evaluation for PUF-based Authentication Systems with Shift Post-processing: Additional Experimental Results
  Hyunho Kang, Yohei Hori, Toshihiro Katashita, Akashi Satoh,
  2010年暗号と情報セキュリティシンポジウム (SCIS2011), 2D2-1, January 2011.

• ICカード向けサイドチャネル攻撃標準評価環境の開発
  片下敏宏, 堀洋平, 佐藤証,
  2010年暗号と情報セキュリティシンポジウム (SCIS2011), 1D1-1, January 2011.

• FPGA上のArbiter PUFの定量的評価
  堀洋平，吉田隆弘，片下敏宏，佐藤証,
  リコンフィギャラブルシステム研究会 (RECONF), 信学技報, vol.110, no.204, RECONF2010-37, pp.115-120, September 2010.

• 近磁界測定によるサイドチャネル評価実験
  片下敏宏, 堀洋平，佐藤証,
  デザインガイア2010 ―VLSI設計の新しい大地―, 信学技報, vol.110, no.319, RECONF2010-46, pp.43-48, December 2010.

• 確率密度関数の推定法とMIA成功率に関する一考察
  堀洋平, 吉田隆弘, 片下敏宏，佐藤証,
  デザインガイア2010 ―VLSI設計の新しい大地―, 信学技報, vol.110, no.319, RECONF2010-48, pp.55-60, December 2010.

• シフト事後処理を用いたPUF基盤認証システムの精度評価
  姜玄浩, 堀洋平, 片下敏宏, 佐藤証,
  デザインガイア2010 ―VLSI設計の新しい大地―, 信学技報, vol.110, no.319, RECONF2010-49, pp.61-64, December 2010.

• ハッシュ関数LuffaのFPGA実装評価
  片下敏宏, 佐藤証,
  コンピュータセキュリティシンポジウム 2010 (CSS2010), 1B2-1, October 2010.

• FPGA上のArbiter PUFの定量的評価
  堀洋平，吉田隆弘，片下敏宏，佐藤証,
  リコンフィギャラブルシステム研究会 (RECONF), 信学技報, vol.110, no.204, RECONF2010-37, pp.115-120, September 2010.

• 楕円曲線暗号ハードウェアの電力解析による安全性評価
  齋藤和也, 菅原健, 本間尚文, 青木孝文, 佐藤証,
  平成22年度 電気関係学会東北支部連合大会, no. 1E08, pp. 143, August 2010.

• 暗号LSIの電源ノイズシミュレーションによるサイドチャネル解析
  片下敏宏, 佐藤証, 永田真, 藤本大介,
  マルチメディア，分散，協調とモーバイル (DICOMO2010) シンポジウム, 7F-2, pp. 1666-1672, July 2010.

• ハッシュ関数Luffaのハードウェア実装
  佐藤証, 片下敏宏, 菅原健, 本間尚文, 青木孝文,
  マルチメディア，分散，協調とモーバイル (DICOMO2010) シンポジウム, 7F-2, pp. 1660-1665 July 2010.

• シミュレーションによるサイドチャネル解析に向けた標準評価ボードの予備測定
  片下敏宏, 佐藤証, 菊池克弥, 仲川博, 青柳昌宏,
  第24回エレクトロニクス実装学会講演大会, 11B-7, March 2010.

• サイドチャネル標準シミュレーションモデル構築に向けた標準評価ボードのDPA特性測定
  片下敏宏, 佐藤証, 永田真, 藤本大介, 菊地克弥, 仲川博, 青柳昌宏,
  2010年暗号と情報セキュリティシンポジウム (SCIS2010), 4B2-1, January 2010.

• 暗号モジュールの電磁的な情報漏洩の解析
  林優一, 菅原健, 本間尚文, 水木敬明, 佐藤証, 青木孝文, 曽根秀昭,
  電気学会電磁環境技術委員会設立10周年記念研究会, EMC-01-8, November 2009.

• 重回帰分析を用いたサイドチャネル攻撃の高精度化
  金用大, 菅原健, 林優一, 本間尚文, 青木孝文, 佐藤証,
  コンピュータセキュリティシンポジウム2009 (CSS2009), pp.649-654, October 2009.

• 周波数領域での暗号モジュールの電力解析
  菅原健, 林優一, 本間尚文, 水木敬明, 青木孝文, 曽根秀昭, 佐藤証,
  第8回情報科学技術フォーラム(FIT2009), no.L-007, pp.135-138, September 2009.

• RSA暗号プロセッサジェネレータの設計と評価
  馬場祐一, 宮本篤志, 本間尚文, 青木孝文, 佐藤証,
  第8回 情報科学技術フォーラム (FIT2009), no.RC-003, pp.129-136, September 2009.

• オンチップ集積化マイクロ磁界プローブを用いた暗号LSIの近傍磁界計測
  鳥塚英樹, 山口正洋, 菅原健, 本間尚文, 佐藤証, 青木孝文,
  (電子通信学会環境電磁工学研究会), 信学技報, vol.108, no.482, EMCJ2008-120, pp.37-42, March 2009.

• CPAに対するデカップリングキャパシタの影響の予備検証
  片下敏宏, 佐藤証, 菅原健，本間尚文，青木孝文
  2009年暗号と情報セキュリティシンポジウム (SCIS2009), 3A4-2, January 2009.

• 最近傍にて計測した磁界を用いた差分電磁波解析
  菅原健，本間尚文，青木孝文，佐藤証,
  2009年暗号と情報セキュリティシンポジウム (SCIS2009), 3A1-5, January 2009.

• べき乗剰余演算に対する比較電力解析の応用
  宮本篤志，本間尚文，青木孝文，佐藤証,
  2009年暗号と情報セキュリティシンポジウム (SCIS2009), 2A1-2, January 2009.

• サイドチャネル攻撃評価用ISO/IEC 標準暗号プロセッサ
  本間尚文，菅原健，宮本篤志, 青木孝文，佐藤証,
  2009年暗号と情報セキュリティシンポジウム (SCIS2009), 2A1-1, January 2009.

• 菅原健，本間尚文，青木孝文, 佐藤証,
  標準評価基板上のASICへの差分電力解析実験
  コンピュータセキュリティシンポジウム 2008 (CSS2008), D5-3, October 2008.

• 林優一, 菅原健, 本間尚文, 水木敬明，青木孝文，曽根秀昭, 佐藤証,
  電源ライン上の漏洩情報を用いたサイドチャネル攻撃
  コンピュータセキュリティシンポジウム 2008 (CSS2008), D5-2, October 2008.

• 片下敏宏, 佐藤証, 菅原健, 本間尚文, 青木孝文,
  鍵候補の篩い分けによるCPAの高速化と鍵推定精度の向上
  コンピュータセキュリティシンポジウム 2008 (CSS2008), D5-1, October 2008.

• シフトレジスタ・アーキテクチャによるハッシュ関数Whirlpoolの高性能回路実装
  菅原健, 本間尚文, 青木孝文, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2008) シンポジウム, 3A-3, pp.498-505, July 2008.

• 特定入力ペアを用いたRSA暗号に対する電力解析攻撃の実験的評価
  宮本篤志,, 本間尚文, 青木孝文, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2008) シンポジウム, 3A-1, pp.482-489, July 2008.

• (招待講演) 暗号ハードウェア実装技術　〜アプリケーションから電力解析攻撃まで
  佐藤証,
  (第21回 回路とシステム軽井沢ワークショップ), D1-3, April 2008.

• RSA暗号に対する平文選択型電力解析攻撃の検討
  本間尚文，宮本篤志，青木孝文，佐藤証,
  2008年暗号と情報セキュリティシンポジウム (SCIS2008), 1A1-5, January 2008.

• ハッシュ関数TigerのASIC回路実装
  佐藤証,
  2008年暗号と情報セキュリティシンポジウム (SCIS2008), 2C3-2, January 2008.

• ハッシュ関数Whirlpoolの小型ハードウェア・アーキテクチャ
  菅原健, 本間尚文, 青木孝文, 佐藤証,
  2008年暗号と情報セキュリティシンポジウム (SCIS2008), 2C3-1, January 2008.

• 128ビットブロック暗号CLEFIAのASIC実装
  菅原健, 本間尚文, 青木孝文, 佐藤証,
  コンピュータセキュリティシンポジウム 2007 (CSS2007), pp.175-180, October 2007.

• ハッシュ関数WhirlpoolのASIC回路実装
  佐藤証,
  コンピュータセキュリティシンポジウム 2007 (CSS2007), pp.169-174, October 2007.

• 宮本篤志，本間尚文，青木孝文，佐藤証,
  RSA暗号に対する平文選択型SPAの実験的評価
  コンピュータセキュリティシンポジウム 2007 (CSS2007), pp.649-654, October 2007.

• サイドチャネル攻撃標準評価FPGAボードを用いた暗号ハードウェアに対する電力解析実験
  菅原健, 本間尚文, 青木孝文, 佐藤 証,
  マルチメディア，分散，協調とモーバイル (DICOMO2007) シンポジウム, 7D-5, pp.1415-1420, July 2007.

• 特定入力パターンを用いたRSA暗号ハードウェアの単純電力解析
  宮本篤志, 本間尚文, 青木孝文, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2007) シンポジウム, 7D-4, pp.1409-1414, July 2007.

• 波形フィルタリングによる暗号モジュールへの高精度電力解析
  長嶋聖, 本間尚文, 菅原健, 青木孝文, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2007) シンポジウム, 7D-3, pp.1403-1408, July 2007.

• ISO標準ブロック暗号のASICハードウェア性能評価
  菅原健, 本間尚文, 青木孝文, 佐藤証,
  2007年情報通信基礎サブソサイエティ合同研究会, 信学技報, vol. 106, no. 597, pp.111-117, March 2007.

• 固定値入力を用いたRSA暗号ハードウェアに対するSPA
  本間尚文，宮本篤志，青木孝文, 佐藤証,
  2007年暗号と情報セキュリティシンポジウム (SCIS2007), 3E3-2, January 2007.

• 位相限定相関法を用いた高精度差分電力解析とそのノイズ耐性評価路
  本間尚文，長嶋聖，今井裕一，青木孝文, 佐藤証,
  2007年暗号と情報セキュリティシンポジウム (SCIS2007), 2E4-5, January 2007.

• GCMの高速パイプライン演算回路
  佐藤証, 菅原健，青木孝文,
  2007年暗号と情報セキュリティシンポジウム (SCIS2007), 2E-1, January 2007.

• 位相限定相関法に基づく高精度波形マッチング−暗号ハードウェアの動作解析への応用−
  長嶋聖，本間尚文，今井裕一，青木孝文, 佐藤証
  第21回信号処理シンポジウム, B5-4, November 2006.

• RSA暗号のFPGA実装に対するSPA耐性評価
  宮本篤志, 本間尚文, 青木孝文, 佐藤証,
  コンピュータセキュリティシンポジウム2006 (CSS2006), 4B-4, pp.263-268, October 2006.

• 64ビットブロック暗号CAST-128の小型ASIC実装
  菅原健, 本間尚文, 青木孝文, 佐藤証,
  コンピュータセキュリティシンポジウム2006 (CSS2006), 4B-3, pp.257-262, October 2006.

• 位相限定相関法による波形マッチングを用いた高精度差分電力解析法
  今井裕一, 本間尚文, 青木孝文, 佐藤証,
  コンピュータセキュリティシンポジウム2006 (CSS2006), 1C-3, pp.61-66, October 2006.

• 漏洩電磁波による共通鍵暗号処理ハードウェアの動作解析
  菅原健，本間尚文，青木孝文，佐藤証,
  平成18年度電気関係学会東北支部連合大会, p. 210, August 2006.

• ブロック暗号のマスク対策付FPGA実装に対するビット遷移に着目したDPAの適用
  高橋芳夫, 佐藤証, 松本勉,
  電子情報通信学会情報セキュリティ研究会, ISEC2006-1, pp.1-6, May 2006.

• 位相限定相関法に基づく高精度波形解析とそのサイドチャネル攻撃への応用
  今井裕一, 本間尚文, 長嶋聖, 青木孝文, 佐藤証,
  電子情報通信学会情報セキュリティ研究会, ISEC2005-138, pp.97-103, March 2006.

• GCMモードの並列高速ハードウェア実装
  佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2006) シンポジウム, July 2006.

• 積和演算器に基づくスケーラブル高基数モンゴメリ乗算器の設計と評価
  宮本篤志，本間尚文，青木孝文, 佐藤証,
  2006年暗号と情報セキュリティシンポジウム (SCIS2006), 2C4-1, January 2006.

• ブロック暗号のFPGA実装に対するサイドチャネル攻撃
  高橋芳夫, 佐藤証, 梅田伸明,
  電子情報通信学会情報瀬きりティ研究会, ISEC2005-111, pp.5-10, December 2005.

• SHA-1の攻撃専用ハードウェアのアーキテクチャとコストに関する考察
  佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO2005) シンポジウム, July 2005.

• ハッシュ関数のハードウェア性能比較
  佐藤証, 井上忠宣,
  コンピュータセキュリティシンポジウム2004 (CSS2004), 8C-3, November 2004.

• Triple-DESの高速ASIC回路実装
  佐藤証, 張綱,
  コンピュータセキュリティシンポジウム2004 (CSS2004), 8C-2, November 2004.

• SubBytes関数のトランジスタレベルにおける回路最適化手法
  佐藤証,
  コンピュータセキュリティシンポジウム2004 (CSS2004), 8C-1, November 2004.

• 再生ログを用いた不正メディア検出方式
  佐藤証, 上條浩一,
  マルチメディア，分散，協調とモーバイル (DICOMO 2004) シンポジウム, July 2004.

• ハードディスク暗号化方式の提案
  佐藤証, 森岡澄夫, 高野光司,
  2004年暗号と情報セキュリティシンポジウム (SCIS2004), 2A4-3, January 2004.

• CHES2003会議報告
  秋下徹, 伊藤幸一，遠藤隆，佐藤証，鈴木大輔，野崎華恵, 山岸篤弘,
  電子情報通信学会情報セキュリティ研究会, ISEC2003, December 2003.

• ハッシュ関数SHA-256/384/512のASIC回路実装
  佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO 2003) シンポジウム, July 2003.

• AESとCamelliaの共有ハードウェア・アーキテクチャ
  佐藤証, 森岡澄夫,
  2003年暗号と情報セキュリティシンポジウム (SCIS2003), 12D-2, January 2003.

• AES/Camellia/Triple-DESのハードウェア性能比較
  佐藤証, 森岡澄夫,
  2003年暗号と情報セキュリティシンポジウム (SCIS2003), 12D-1, January 2003.

• GF(p)/GF(2^n)上の楕円暗号の共有回路アーキテクチャ
  佐藤証, 高野光司,
  2003年暗号と情報セキュリティシンポジウム (SCIS2003), January 2003.

• CHES2002会議報告
  遠藤隆，伊藤孝一，桶屋勝幸，佐藤証, 鈴木大輔，武田仁己，田中秀麿,
  電子情報通信学会情報セキュリティ研究会, ISEC2002, November 2002.

• 共通鍵暗号回路の低消費電力化の検討
  森岡澄夫, 佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO 2002) シンポジウム, July 2002.

• KASUMIの小型回路実装
  佐藤証, 森岡澄夫,
  マルチメディア，分散，協調とモーバイル (DICOMO 2002) シンポジウム, July 2002.

• 128ビットブロック暗号のハードウェア化のポイント
  佐藤証,
  CRYPTREC 暗号技術評価ワークショップ, January 2002.

• 共通鍵暗号ハードウェアのための超高速S-Box回路アーキテクチャ
  森岡澄夫, 佐藤証,
  2002年暗号と情報セキュリティシンポジウム (SCIS2002), 9B-3, January 2002.

• 128ビットブロック暗号Camelliaの小型ハードウェア・アーキテクチャ
  佐藤証, 森岡澄夫,
  2002年暗号と情報セキュリティシンポジウム (SCIS2002), 9B-2, January 2002.

• エニグマの高速LSI実装
  佐藤証, 森岡澄夫,
  2002年暗号と情報セキュリティシンポジウム (SCIS2002), 9B-1,January 2002.

• GF(2^n)上のモンゴメリ乗算を用いた楕円演算コプロセッサ
  佐藤証, 高野光司,
  2002年暗号と情報セキュリティシンポジウム (SCIS2002), January 2002.

• 100MBytes/s高速データ圧縮エンジン
  森岡澄夫, 佐藤証,
  第9回FPGA/PLD design conference, January 2002.

• AESの低消費電力回路実装のための論理設計方式の検討
  森岡澄夫, 佐藤証,
  コンピュータセキュリティシンポジウム2001 (CSS2001), November 2001.

• 7Gbpsを実現するAESの高速回路実装
  佐藤証, 森岡澄夫,
  コンピュータセキュリティシンポジウム2001 (CSS2001), November 2001.

• 128ビットブロック暗号のハードウェア化の検討
  佐藤証,
  第3回情報システムのセキュリティ技術の調査研究委員会WG2, July 2001.

• AESとDESの回路性能比較
  宗藤誠治, 佐藤証, 森岡澄夫, 高野光司,
  情処処理学会第63回全国大会, 3G-5, September 2001.

• GF(((2^2)^2)^2)上の演算を用いたAESのS-Box構成法
  森岡澄夫, 佐藤証, 高野光司, 宗藤誠治,
  情処処理学会第63回全国大会, 3G-4, September 2001.

• AESにおける多項式乗算回路の効率的実装法
  佐藤証, 森岡澄夫, 高野光司, 宗藤誠治,
  情処処理学会第63回全国大会, 3G-3, September 2001.

• 次世代共通鍵暗号AESの小型回路アーキテクチャ
  高野光司, 佐藤証, 森岡澄夫, 宗藤誠治,
  情処処理学会第63回全国大会, 3G-2, September 2001.

• Rijndaelの小型ハードウェア実装
  佐藤証, 森岡澄夫, 高野光司, 宗藤誠治,
  マルチメディア，分散，協調とモーバイル (DICOMO 2001) シンポジウム, July 2001.

• 楕円暗号回路の実装と性能評価
  佐藤証, 高野光司,
  2001年暗号と情報セキュリティシンポジウム (SCIS2001), January 2001.

• 高速モンゴメリ演算回路
  佐藤証, 高野光司,
  2001年暗号と情報セキュリティシンポジウム (SCIS2001), January 2001.

• 高速乗算回路の構成法
  佐藤証, 高野光司,
  情処処理学会第61回全国大会, 5E-4, October 2000.

• 公開鍵暗号LSIのアプリケーション
  佐藤証,
  情報処理学会モーバイル研究会, September 1999.

• 高速乗算回路の一構成法
  佐藤証,
  情報処理学会第59回全国大会, September 1999.

• GF(p)上の小型・高速楕円暗号ハードウェア
  佐藤証,
  1998年電子情報通信学会ソサイエティ大会 (基礎・境界), SA-5-5, July 1998.

• 楕円暗号のハードウェア化の検討
  佐藤証,
  マルチメディア，分散，協調とモーバイル (DICOMO '98) シンポジウム, July 1998.

• 多重キャリー・スキップを使った大規模マルチプライア
  小林芳直, 佐藤証, 宗藤誠治,
  情報処理学会第55回全国大会, September 1997.

• Lempel-Zivデータ圧縮によるポストスクリプトプリンタのワークメモリの有効利用
  佐藤証,
  情報処理学会第55回(平成9年後期)全国大会, pp.34-35, September 1997.

• 小型高速RSA暗号LSI
  佐藤証, 小林芳直, 新島秀人, 大庭信之, 宗藤誠治, 曽根定道,
  マルチメディア，分散，協調とモーバイル (DICOMO '97) シンポジウム, pp.593-598, July 1997.

• 可変長文字列検索連想メモリによるLZ77高速データ圧縮回路(2)
  佐藤証, 新島秀人,
  情報処理学会第51回全国大会, September 1995.

• 可変長文字列検索連想メモリによるLZ77高速データ圧縮回路(1)
  佐藤証, 新島秀人,
  情報処理学会第51回全国大会, September 1995.

• ローカルマッチ線プリチャージ方式による可変長文字列検索メモリ
  佐藤証, 新島秀人,
  1994年電子情報通信学会秋季大会, C-517, September 1994.

• 可変長文字列検索連想メモリを用いたLempel-Ziv型高速データ圧縮回路
  佐藤証, 新島秀人,
  1994年電子情報通信学会秋季大会, C-516, September 1994.

• 高速CMOS DRAMパルスセンス方式
  佐藤証 桐畑外志昭, 片山奏尚, 坂上好巧, 砂永登志男, Roy E. Scheuerlein, 北村恒二, 吉川武文, Sang H. Dohng
  電子情報通信学会集積回路研究会, ICD91-128, pp.17-23, November 1991.

• 中間レベル設定による高速回路のノイズ低減効果
  佐藤証, 片山奏尚, Roy E. Scheuerlein,
  1991年電子情報通信学会春季大会, C-581, p.5-172, March 1991.

• 直方体法を用いたホモトピー法の2次収束性について
  村山清隆, 佐藤証, 福山健次郎, 堀内和夫,
  電子情報通信学会回路とシステム研究会, CAS88-64, pp.31-36, September 1988.

• 直方体分割を用いたホモトピー法の非線形回路網の数値解析
  村山清隆, 佐藤証, 福山健次郎, 堀内和夫,
  電子情報通信学会NLP研究会, NLP88-7, pp.37-46, May 1988.

• 非線形回路網解析における直方体分割を用いたホモトピー法の効率化
  村山清隆, 佐藤証, 福山健次郎, 堀内和夫,
  昭和63年電子情報通信学会春季大会, A-43, March 1988.

• 直方体分割を用いた非線形抵抗回路の並列解析法
  村山清隆, 佐藤証, 福山健次郎, 久保浩之, 新籾純, 堀内和夫,
  電子情報通信学会NLP研究会, November 1987.

• 物体の相対的位置情報を利用したレイ・トレーシングの高速化
  佐藤証, 牧野光則, 大石進一, 堀内和夫,
  電子情報通信学会技術研究報告, July 1987.

• 物体の相対的位置情報を用いたレイ・トレーシングの高速化
  佐藤証, 牧野光則, 大石進一, 堀内和夫,
  電子通信学会創立70周年記念総合全国大会, March 1987.

• 物体の相対的位置情報を用いたレイ・トレーシングの高速化
  佐藤証, 牧野光則, 大石進一, 堀内和夫,
  昭和61年度電子通信学会学生研究発表会, p.38, December 1986.

• レイ・トレーシングの高速化に関する一手法
  佐藤証, 牧野光則, 大石進一, 堀内和夫,
  (社)日本コンピュータ・グラフィックス協会第2回NICOGRAPH論文コンテスト論文集, pp.39-47, November 1986.

• ブロック暗号AESの高性能エラー検出回路方式
  佐藤証, 菅原健, 本間尚文, 青木孝文,
  マルチメディア，分散，協調とモーバイル (DICOMO2008) シンポジウム, no.3A-2, pp.490 497, July 2008.

表彰

• マルチメディア，分散，協調とモーバイル (DICOMO 2010) シンポジウム 優秀論文賞, 情報処理学会, July 2010.

• マルチメディア，分散，協調とモーバイル (DICOMO 2006) シンポジウム 優秀論文賞, 情報処理学会, July 2006.

• マルチメディア，分散，協調とモーバイル (DICOMO 2005) シンポジウム 最優秀プレゼンテーション賞, 優秀論文賞, 情報処理学会, July 2005.

• マルチメディア，分散，協調とモーバイル (DICOMO 2003) シンポジウム 優秀プレゼンテーション賞, 情報処理学会, July 2003.

• 2001年情報処理学会秋季全国大会奨励賞, October 2001.

• マルチメディア，分散，協調とモーバイル (DICOMO 2001) シンポジウム 優秀プレゼンテーション賞, 情報処理学会, July 2001.

• マルチメディア，分散，協調とモーバイル (DICOMO '98) シンポジウム ベストプレゼンテーション賞, 情報処理学会, July 1998.

• マルチメディア，分散，協調とモーバイル (DICOMO '97) シンポジウム ベストプレゼンテーション賞, 情報処理学会, July 1997.

学会誌・業界誌寄稿

• 暗号モジュールの安全な実装と標準評価指針策定への取り組み
  佐藤証,,
  JITA ニュースレター, 財団法人日本産業技術振興協会, October 2008 No.19, p.3, 2008.

• 暗号のLSIの理論解析技術─モジュールからの漏洩情報を利用するサイドチャネル攻撃─
  佐藤証,
  (株)エヌ・ティー・エス, 非侵襲・可視化技術ハンドブック−ナノ・バイオ・医療から情報システムまで, 第10章第1節, ISBN978-4-86043-133-4, June 2007.

• LSIを盗聴”から守る 第1〜3章,
  佐藤証, 高橋芳夫,
  Design Wave Magazine, no.99, 2006年1月号, pp.100-124, Jan 2005.

• トランジスタ構成まで意識した演算回路の最適化設計,
  佐藤証,
  Design Wave Magazine, no.70, 2005年3月号, pp.78-85, March 2005.

• 暗号を学ぶための本 〜基礎から実践まで
  佐藤証,
  応用数理, vol.15, no.1, pp.77-79, March 2005.

• 電子社会を推進する暗号技術：暗号ハードウェア実装性能と安全性評価,
  佐藤証，山岸篤弘,
  情報処理学会誌, vol.45, no.11, pp.1123-1127, November 2004.

• 書評：暗号技術大全,
  佐藤証,
  組み込みネット, 2003.

• 暗号処理のソフト vs. ハード,
  佐藤証, 森岡澄夫,
  Design Wave Magazine, no.70, 2003年9月号, pp.72-79, September 2003.

• ハードウェア実装に適した共通鍵ブロック暗号とは
  佐藤証
  Break Through, 2002.

• MARSの特徴と狙い
  佐藤証
  電子情報通信学会誌, July 2000.

• 就職した先輩から後輩への手紙
  佐藤証,
  電子情報通信学会誌, 1995.

講義・セミナー

• ICカードにおけるセキュリティ評価の現状と取組み
  日銀：第22回情報セキュリティ・セミナー, October 2010.

• ICカードにおけるセキュリティ評価の現状と取組み
  サイドチャネル攻撃の実際, April 2010.

• 回路の消費電力から暗号を解読するサイドチャネル攻撃の実際
  第17回FPGA/PLD Design Conference特別講演, January 2010.

• ハードウェアセキュリティ技術の動向
  IPA暗号フォーラム2008・大川賞受賞記念シンポジウム 〜暗号技術の今後〜, November 2008.

• 暗号プリミティブの実装技術について
  中央大大学院 暗号理論特論 第6回, November 2008.

• 暗号ハードウェアの応用と実装攻
  第26回STARC アドバンスト講座 暗号とセキュリティ技術セミナー, October 2007.

• 暗号ハードウェアの最新動向
  RSA Conference Japan 2007, クラストラック C1:暗号技術の最新動向, April 2007.

• 暗号技術の基礎から応用まで〜守る側と破る側
  東京大学 21世紀COE 基盤情報特別講義, October 2006.

• 情報セキュリティ特論
  東京工業大学非常勤講師, 2006.

• 暗号技術
  同志社大学経済学部公開講座「科学と技術」, December 2005.

• 暗号アルゴリズムの基礎とハードウェア実装技術
  1学術振興会シリコン超集積化システム第165委員会, April 2005.

• 暗号の基礎とアプリケーショ 〜破る側と守る側
  東北大学大学院情報科学研究科講演会, January 2005.

• 暗号ハードウェアのアプリケーション〜守る側と破る側
  電子情報通信学会LSI動作解析研究会, April 2004.

• 暗号アルゴリズムとハードウェア実装の動向
  情報セキュリティーとVLSI技術に関する研究会, March 2004.

• 暗号技術とその応用
  日本テクノセンター, March 2003.

• 計算機応用
  玉川大学非常勤講師, 2001.

• 公開鍵暗号技術の基礎と応用−RSA・楕円暗号の高速実装法からアプリケーションまで
  日本工業技術センター, June 2000.

• 公開鍵暗号理論とその応用
  トリケップス, June 1999.

• 公開鍵暗号技術の基礎と応用−RSA・楕円暗号の高速実装法からアプリケーションまで
  日本工業技術センター, April 1999.

• 公開鍵暗号法の高速実装法とその応用
  日本工業技術センター, August 1998.

• 可逆データ圧縮ソフトウェアとハードウェア
  日本工業技術センター, June 1997.

• データ圧縮技術の基礎と実際
  日本工業技術センター, 1995.

• 可逆データ圧縮技術と高速LSIディスク圧縮ツールへの応用
  日本テクノセンター, 1995.