Computer Security from a Programming Language and Static Analysis Perspective - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Computer Security from a Programming Language and Static Analysis Perspective

Xavier Leroy
Typed programming, modularity and compilation

Résumé

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

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
language-security-etaps03.pdf (109.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Xavier Leroy  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01499938

Soumis le : samedi 1 avril 2017-17:21:59

Dernière modification le : jeudi 3 février 2022-11:14:18

Archivage à long terme le : dimanche 2 juillet 2017-12:43:40

Télécharger pour visualiser

Dates et versions

hal-01499938 , version 1 (01-04-2017)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
119 Consultations
218 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More