基于编程语言的安全性-ProSec组
新闻：
项目：
成员：
亚历杭德罗·拉索 ， 安德烈·萨贝尔菲尔德 ， 大卫·桑德斯 尼克拉斯·布罗伯格 ， 丹尼尔·赫丁 ， 卢西亚诺·贝洛 ， 巴勃罗·别拉斯 ， 巴特·范·代尔夫特 ， 哈米德·埃巴迪·塔瓦莱伊 ， 丹尼尔·豪斯克内赫特 ， 劳尔·帕尔多·吉梅内斯 ， 威拉德·拉文森 Per Hallgren，Daniel Schoepe
前成员：
信息：
即将到来的研讨会/会议截止日期概述 研究人员的地址 （用于发送lic/phd论文）
学士和硕士项目建议书
组织机构：
每月第一个星期四上午11点进行中的诉讼；