Our paper about the insecurity problem for assertions has been accepted at IEEE CSF 2024! ArXiv version.