Security primitives for protected-module architectures based on program-counter-based memory access control