TY  - RPRT
TI  - Dynamic IFC Theorems for Free!
AU  - Maximilian Algehed
AU  - Jean-Philippe Bernardy
AU  - Catalin Hritcu
PY  - 2024
UR  - https://arxiv.org/abs/2005.04722
ID  - 2005.04722
ER  -