博文

有得有失

2010-7-2 08:19

去年花了将近四个月时间，带着四个完全没有基础的本科生，做一个关于软件攻防的项目。 从最简单的加壳脱壳，到文件系统加密和内核钩子等等。 我跟着他们一起成长，一起学会了非常非常多的东西。 最炎热的四个月，每天在实验室待的时间超过十个小时。 可是 老师们并不认可我，因为我不会做报告。 我过于本分过于固执的处理一 ...

个人分类: 学习|2836 次阅读|没有评论

模块化的字节码验证

2010-7-1 14:19

For all the literatures I have seen, modular reasoning for object-oriented programs is only concerned on the source code level. I'm wondering is this because we don't need modularity at low-level code, or compared to other verification challenges of bytecode, modular reasoning is, to some extent, to ...

个人分类: 字节码语言|2776 次阅读|没有评论

本页有 3 篇博文因作者的隐私设置或未通过审核而隐藏