The following publications are possibly variants of this publication:
- Enforcing opacity by publicly known edit functionsYiding Ji, Stéphane Lafortune. cdc 2017: 4866-4871 [doi]
- Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity EnforcementSahar Mohajerani, Yiding Ji, Stéphane Lafortune. tac, 65(8):3349-3364, 2020. [doi]
- Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based AbstractionsSahar Mohajerani, Yiding Ji, Stéphane Lafortune. cdc 2018: 4849-4854 [doi]
- Opacity Enforcement Using Nondeterministic Publicly Known Edit FunctionsYiding Ji, Xiang Yin 0003, Stéphane Lafortune. tac, 64(10):4369-4376, 2019. [doi]
- Embedded Insertion Functions for Opacity EnforcementChristoforos Keroglou, Stéphane Lafortune. tac, 66(9):4184-4191, 2021. [doi]
- Enforcement of opacity properties using insertion functionsYi-Chin Wu, Stéphane Lafortune. cdc 2012: 6722-6728 [doi]
- Synthesis of Optimal Insertion Functions for Opacity EnforcementYi-Chin Wu, Stéphane Lafortune. tac, 61(3):571-584, 2016. [doi]
- Enforcement of opacity by public and private insertion functionsYiding Ji, Yi-Chin Wu, Stéphane Lafortune. automatica, 93:369-378, 2018. [doi]
- Synthesis of insertion functions for enforcement of opacity security propertiesYi-Chin Wu, Stéphane Lafortune. automatica, 50(5):1336-1348, 2014. [doi]
- Verification and synthesis of embedded insertion functions for opacity enforcementChristoforos Keroglou, Stéphane Lafortune. cdc 2017: 4217-4223 [doi]