Retrospectively Documenting SAFEGUARD's Possession of the Overarching Properties | IEEE Conference Publication | IEEE Xplore