ResearchTrend.AI
Rigorous Analysis of Software Countermeasures against Cache Attacks

Rigorous Analysis of Software Countermeasures against Cache Attacks

Goran Doychev
Boris Köpf
ArXivPDFHTML

Papers citing "Rigorous Analysis of Software Countermeasures against Cache Attacks"

1 / 1 papers shown
Title
Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Mounir Assaf
D. Naumann
Julien Signoles
Eric Totel
F. Tronel
27
40
0
04 Aug 2016