由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
CS版 - 有做secure software engineering的吗?
相关主题
JHU, Virginia, Davis, Georgia CS Ph.D.中国队竞走第五。
PACT怎么样?FBA abuse Doctor Amazon Name and Address
security groups操, 不要再搞了
[转载]我知道的几个计算机安全/密码学会议[合集] 破记录的双打回合(2007全英)
有铜锈投acm ccs的吗?国羽单项首败 蔡赟/傅海峰0-2李龙大组合无缘4强
MobiCom vs. CCSonly 5 spots in singles
欧美、香港、[C9+中科院]信息安全方向科研学术交流卡塔尔公开赛,男女4强都是中国的
被拐卖23年后回家国乒直通巴黎第三阶段分组出来了
相关话题的讨论汇总
话题: secure话题: software话题: work话题: security
进入CS版参与讨论
1 (共1页)
m*********g
发帖数: 34
1
处于background reading阶段,选题很迷茫,感觉很理论的东东
想做点能跟implementation相关的,model之类很是抽象
谁做过的能否指点一二?多谢
h******u
发帖数: 155
2
you mean security-related SE? If you want to dig deep and have some solid
work, don't stay at the high level. There is a body of work on security-
based program analysis--- look at e.g., (UC-davis)zhendong Su's work on
program analysis for web-security, Dawn Song(UC Berkeley)'s security work,
or Somesh Jah's work at Wisconsin. Dawson Engler (Stanford) has also done
similar work.
The other way of gaining information would be to look at conference
proceedings. CCS and S&P are definitely those that
1 (共1页)
进入CS版参与讨论
相关主题
国乒直通巴黎第三阶段分组出来了有铜锈投acm ccs的吗?
看看我猜的对不对吧, 希望马琳争气MobiCom vs. CCS
LA open, 奥恰,柳承敏 来欧美、香港、[C9+中科院]信息安全方向科研学术交流
九圈深情拥抱后院庆祝夺冠 (有图)被拐卖23年后回家
JHU, Virginia, Davis, Georgia CS Ph.D.中国队竞走第五。
PACT怎么样?FBA abuse Doctor Amazon Name and Address
security groups操, 不要再搞了
[转载]我知道的几个计算机安全/密码学会议[合集] 破记录的双打回合(2007全英)
相关话题的讨论汇总
话题: secure话题: software话题: work话题: security