Reinforcing Secure Live Migration through Verifiable State Management. - Stefanos Vasileaidis; Thanassis Giannetsos; Matthias Schunter; Bruno Crispo (CoRR, 2025)