Xavier Leroy. Computer security from a programming language and static analysis perspective. In ESOP 2003: Programming Languages and Systems, 12th European Symposium on Programming, number 2618 in LNCS, pages 1--9, Warsaw, Poland, 2003. Springer.

A short survey on language-base computer security. Extended abstract of invited lecture.

bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.