2015年5月21日，星期四

LangSec研討會

第二届LangSec IEEE SPW研討會的論文和其他資料可在http://spw15.LangSec.org/Papers.html上獲得

主旨和會談的視頻可在onYoutube上觀看。

有關已發佈論文和其他資料的任何更新的通知將發佈到LangSec郵寄清單https://mail.LangSec.org/list/。

在IEEE CS安全與隱私工作研討會上舉辦的第二期語言理論安全研討會（LangSec）表明了它在語言理論安全領域的貢獻。LangSec為“不安全科學”提供了一個連貫的解釋，它不僅僅是一個軟件錯誤或設計缺陷的集合。這一解釋是基於基本可計算原則與軟件缺陷持續存在之間的聯系。langsecpositions認為，獲得不可信輸入的可信軟件的唯一途徑是將所有有效或預期的輸入視為一種形式語言，並將相應的輸入處理常式視為該語言的識別器。LangSec系統設計方法的首要目標是實現實際保證：開發源於基本可靠的可計算性理論，但表現為高效實用的系統組件。研討會的一個主要目標是發展並與與會者和更廣泛的系統安全社區分享這一觀點，以幫助建立一個基於LangSec原則的研究基礎。

第一届LangSec IEEE SPW工作坊的論文和其他資料可在http://spw14.LangSec.org上查閱/

研討會的總體目標是使兩個互補領域更加清晰和集中：（1）實用軟體保證和（2）脆弱性分析（識別、特徵描述和開發）。LangSec社區將這些活動視為相關的、高度結構化的工程學科，並試圖為探索和發展這種關係提供條件。

[徵集論文][提交論文！]

項目委員會：

• 謝爾蓋·布拉圖斯（達特茅斯學院）
• 喬恩·卡拉斯（無聲圓圈）
• Thomas Dullien（穀歌）
• Alex Gantman（高通公司）
• 丹·吉爾（In-Q-Tel）
• 羅伯特·格雷厄姆（勘誤表安全）
• David Grawrock（英特爾）
• 彼得·古特曼（奧克蘭大學）
• 費利克斯·林德納（復發實驗室/酚酸酯）
• 邁克爾·E·洛卡斯特（卡爾加里大學）
• Greg Morrisett（哈佛大學）
• Collin Mulliner（東北大學）
• Meredith L.Patterson（Nuance通信/正直駭客公司）
• 肖恩史密斯（達特茅斯學院）
• 朱利安·瓦內格（彭博社）
• 傑西·沃克（英特爾）
• Samuel M.Weber（CMU軟體工程研究所）
• Stefano Zanero（米蘭理工大學）

組委會：

• 謝爾蓋·布拉圖斯（達特茅斯學院）
• Daniel‘TQ’Hirsch（P3KI股份有限公司）
• Felix‘FX’Lindner（復發實驗室/酚醇）
• 邁克爾·E·洛卡斯特（卡爾加里大學）
• Meredith L.Patterson（Nuance通信/正直駭客公司）
• 安娜·舒比娜（達特茅斯）
• 朱利安·瓦內格（彭博社）