@misc{indiciaeef43d7f44b47,
  title = {Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement},
  author = {Sahar Mohajerani and Yiding Ji and Stephane Lafortune},
  year = {2019},
  url = {https://arxiv.org/abs/1910.00417},
  note = {Source identifier: 1910.00417}
}