ResearchTrend.AI
SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns

Adwait Godbole
Yatin A. Manerkar
S. Seshia
ArXivPDFHTML

Papers citing "SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns"

Title
No papers