Computer Security from a Programming Language and Static Analysis Perspective

Abstract : A short survey on language-based computer security. Extended abstract of invited lecture.
Type de document :
Communication dans un congrès
ESOP 2003: Programming Languages and Systems, 12th European Symposium on Programming, Apr 2003, Warsaw, Poland. pp.1 - 9, 2003, 〈10.1007/3-540-36575-3_1〉
Liste complète des métadonnées

Littérature citée [46 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499938
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 17:21:59
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:43:40

Fichier

language-security-etaps03.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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, 2003, 〈10.1007/3-540-36575-3_1〉. 〈hal-01499938〉

Partager

Métriques

Consultations de la notice

245

Téléchargements de fichiers

69