Shuttle: Intrusion Recovery for PaaS. - Dario Nascimento; Miguel Correia 001 (ICDCS, 2015)