Adwait Godbole

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

Adwait Godbole and others (2024)

UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis

Elizabeth Polgreen and others (2022) · Computer Aided Verification · Springer