-
1by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, PaulContributors: “...ANR-16-CE25-0011,REPAS,Des systèmes logiciels fiables et conscients des données privées, via les...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
2by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, PaulContributors: “...ANR-16-CE25-0011,REPAS,Des systèmes logiciels fiables et conscients des données privées, via les...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
3by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, PaulContributors: “...ANR-16-CE25-0011,REPAS,Des systèmes logiciels fiables et conscients des données privées, via les...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object -
4by Dal Lago, Ugo, Gavazzo, Francesco, Blain Levy, PaulContributors: “...ANR-16-CE25-0011,REPAS,Des systèmes logiciels fiables et conscients des données privées, via les...”
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Get access
Conference Object