Exploring the Role of the Portable Stimulus Standard in Enhancing Security Property Verification. - Jaimini Nagar; Thorsten Dworzak; Sebastian Simon; Ulrich Heinkel; Djones Lettnin (VLSI-SoC, 2024)