Login / Signup
Noctua: Towards Automated and Practical Fine-grained Consistency Analysis.
Kai Ma
Cheng Li
Enzuo Zhu
Ruichuan Chen
Feng Yan
Kang Chen
Published in:
EuroSys (2024)
Keyphrases
</>
fine grained
coarse grained
tightly coupled
databases
access control
automated analysis