Show Menu
Hide Menu
Laboratorio de Ciencias de la Computación
Discurso del Director
Organigrama
organización del LIP6
Dirección
Servicios Administrativos
IT Service
Comité científico
Comité para el laboratorio
Consejo de dirección
Teaching
Scientific Mediation
Our charters and commitments
Cómo llegar
Búsqueda
Axes & Teams
Publicaciones
Proyectos
ERC Projects
European Projects
PEPR Projects
ANR Projects
PIA & PostGenAI@Paris Projets
Memoria Anual
Valuación
Our skills
Work with us
Softwares
Patentes
Start-ups
Directorio de personal
coloquio
🔒
📫
🇪🇸
🇫🇷
🇬🇧
🇪🇸
-
Computer Science Laboratory
Sorbonne Université - CNRS UMR 7606
Sorbonne Universté
Centre National de la Recherche Scientifique
LIP6 supports the Pink October campaign for breast cancer awareness.
Directorio de personal
BLOND Julien
Postdoc
Equipo :
SPI
Director de investigación
: Thérèse HARDIN
Co-supervisión
: RIOBOO Renaud
Outil pour implémentation de logiciels certifiables EAL7
Defensa
: 30/11/2010
Fecha de salida : 30/11/2010
Publicaciones 2006-2010
Ellas todas
Responsable de la comunicación
Thesis
2010
J. Blond
: “
Outil pour implémentation de logiciels certifiables EAL7
”, thesis, defensa 30/11/2010, director de investigación Hardin, Thérèse, co-supervisión : Rioboo, Renaud (2010)
2006
J. Blond, Ch. Morisset
: “
Formalisation et implantation d’une politique de sécurité d’une base de données
”, Journées Francophones des Langages Applicatifs (JFLA), Pauillac, France, pp. 71-86, (INRIA) (2006)