Reinforcing Secure Live Migration through Verifiable State Management

Stefanos Vasileaidis, Thanassis Giannetsos, Matthias Schunter +1

Live migration of applications is a fundamental capability for enabling resilient computing in modern distributed systems. However, extending this functionality to trusted applicat…