Una técnica automatizada para determinar si los programas son vulnerables a una clase específica de ataques micro-arquitectónicos
La extensión es excelente para asegurar la corrección del código y mejorar el desempeño del mismo
"Técnicas criptográficas para la seguridad de los sistemas cloud y blockchains" es el título de su tesis
La publicación fue presentada en ACM CCS'19 el pasado november en Londres
