Actualidad
IMDEA Software
Talk by Marco Guarnieri: Principled detection of speculative information flows
24 abr 2019
Leer más trending_flatIMDEA Software
Principled detection of speculative information flows
24 abr 2019
Leer más trending_flatIMDEA Software
Talk by Joao Marques Silva: Logic-Enabled Explanations for Machine Learning Models
23 abr 2019
Leer más trending_flatIMDEA Software
Logic-Enabled Explanations for Machine Learning Models
23 abr 2019
Leer más trending_flatIMDEA Software
Fuzzing objects: Motivation and preliminary results
16 abr 2019
Leer más trending_flat