Recommendations
Security-oriented program transformations
CSIIRW '09: Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and StrategiesSecurity experts generally believe that, "security cannot be added on, it must be designed from the beginning" [1]. This is because the typical way of improving system security by patches is ad hoc and has not produced good results. My work shows that ...
Program analysis and programming languages for security
VMCAI'08: Proceedings of the 9th international conference on Verification, model checking, and abstract interpretationThe security of a software system is almost always retrofitted to an afterthought. When security problems arise, understanding and correcting them can be very challenging. On the one hand, the programanalysis and programming-languages research community ...






Comments