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 |
|