Hardware packages for self-verification and secure partial reconfiguration - Ustaoğlu, Buse (2022)