TY  - RPRT
TI  - Giving Semantics to Program-Counter Labels via Secure Effects
AU  - Andrew K. Hirsch
AU  - Ethan Cecchetti
PY  - 2020
DO  - 10.1145/3434316
UR  - https://arxiv.org/abs/2010.13191
ID  - 2010.13191
ER  -