Paper accepted by SSCI'21

  • Oct 04, 2021

Our paper has been accepted by SSCI'21

OACAL: Finding Module-consistent Specifications to Secure Systems from Weakened User Obligations

  • Pengcheng Jiang, Kenji Tei
  • 2021 IEEE Symposium Series on Computational Intelligence (SSCI 2021), 2021 (to appear)