Synthesis of opacity-enforcing insertion functions that can be publicly known | IEEE Conference Publication | IEEE Xplore