◆□◆GRACEメールマガジン2013/9/4 第34号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
=============================
◆◆第69回GRACEセミナー◆◆
=============================
主催: NII 先端ソフトウェア工学国際研究センター（GRACEセンター）
協力：トップエスイー プロジェクト
http://grace-center.jp/
日時：2013年9月25日（水）13:30-15:00
場所：国立情報学研究所(NII)[http://www.nii.ac.jp/about/access/]
国立情報学研究所(NII) 22階 2208会議室
参加費：無料
お問い合わせ：石川冬樹(seminar-steering_AT_grace-center.jp)_AT_を＠に書
き換えてください。
※今回のセミナーは英語で行われます。
参加ご希望の方は，下記よりご登録をお願いいたします:
http://form1.fc2.com/form/?id=621883
==================================================
Title: Secure Coding Research at CERT
Speaker: David Keaton, CERT Secure Coding Team, SEI/CMU
Abstract:
CERT, originally called the Computer Emergency Response Team, is known
for its management of computer security crises. However, it also
conducts long-term projects designed to reduce the number of future
incidents. David Keaton will discuss some of the organization’s
research and standardization projects, such as Thread Role Analysis, a
Pointer Ownership Model, and an international technical specification
for secure coding. David will then discuss buffer overflows, an area
that still causes significant problems, and provide details of his
work in compiler-enforced buffer overflow elimination.
Biography:
David Keaton is the chairman of the “ANSI C committee,” the
U.S. portion of the international committee that standardizes the C
programming language. He has been a voting member of the committee
since 1990. He has written compilers for everything from embedded
systems to supercomputers. He has two patents related to
compiler-assisted security mechanisms. He is now with CERT working on
integrating compilers with security.
□編集後記□
●GRACEメールマガジンの 第34号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (secretariat@grace-center.jp)
までお願いいたします。
●GRACEメールマガジンの購読解除、バックナンバーに
ついては、下記のURLをご覧ください。
http://grace-center.jp/mailmagazine
