Index Terms
Programming languages in security: keynote
Recommendations
Programming languages and program analysis for security: a three-year retrospective
Software security has been traditionally enforced at the level of operating systems. However, operating systems have become increasingly large and complex, and it is very difficult--if not impossible--to enforce software security solely through them. ...
Higher-order program verification and language-based security
ASIAN'09: Proceedings of the 13th Asian conference on Advances in Computer Science: information Security and PrivacyLanguage-based security has been a hot research area of computer security in the last decade. It addresses various concerns about software security by using programming language techniques such as type systems and program analysis/transformation. Thus, ...







Comments