@misc{indiciaed5f74f9b0df8,
  title = {OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations},
  author = {Pengcheng Jiang and Kenji Tei},
  year = {2021},
  url = {https://arxiv.org/abs/2108.08282},
  note = {Source identifier: 2108.08282}
}