TY  - RPRT
TI  - Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference (Extended Version)
AU  - Nicolas Berthier
AU  - Narges Khakpour
PY  - 2022
UR  - https://arxiv.org/abs/2211.03450
ID  - 2211.03450
ER  -