Leiqi Ye

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Query Decomposition

Partitioning Schemes

Top Venues

Publications

Adwait Godbole, Leiqi Ye, Yatin A. Manerkar, Sanjit A. Seshia
Modelling and Verification of Security-Oriented Resource Partitioning Schemes. FMCAD (2023)