OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PROGRAM Language: Inglés Repository: 65 Year: 2016 Document Type: Sin Especificar

Sort by Score Title Year -

1-1 from 1 results (0.019 seconds)

Title: Formally verified countermeasures against cache based attacks in virtualization platforms
Language: Inglés
Repository: 65
Subject: Non-interference / Cache-based attacks / Constant-time cryptography / Stealth memory / Coq / No interferencia / Ataques basados en cache / Criptografía constant-time

Acceder

« Previous 1 Next »