Computer Security from a Programming Language and Static Analysis Perspective

Abstract : A short survey on language-based computer security. Extended abstract of invited lecture.
Document type :
Conference papers
Complete list of metadatas

Cited literature [46 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499938
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 5:21:59 PM
Last modification on : Friday, May 25, 2018 - 12:02:03 PM
Long-term archiving on : Sunday, July 2, 2017 - 12:43:40 PM

File

language-security-etaps03.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Xavier Leroy. Computer Security from a Programming Language and Static Analysis Perspective. ESOP 2003: Programming Languages and Systems, 12th European Symposium on Programming, Apr 2003, Warsaw, Poland. pp.1 - 9, ⟨10.1007/3-540-36575-3_1⟩. ⟨hal-01499938⟩

Share

Metrics

Record views

281

Files downloads

205