Mot de passe oublié ?

Blogs sur: Trace Analysis

Blog vedette

Security analysis

A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, before doing so, here’s a short reminder about the notion of security in computer science … la suite →

Il y a du thé renversé au bord de la table

Extrapol, part 1: from C to Effects

yoric wrote 1 year ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wor … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, In English | en Anglais, OCaml, Java, Extrapol, Static Analysis, Security

Security analysis

yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →

Mots-clefs : Informatique - Computer Science, Sûreté / Security, Recherche / Research, Static Analysis, Security, Open-Source, Programming, security policies, Policies


Tags connexes
Tout →

Suivre cette étiquette via RSS