Cloud calculus: Security verification in elastic cloud computing platform. - Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi; Ying Zhang 022; Makan Pourzandi (CTS, 2012)

Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. - Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi; Ying Zhang 022; Makan Pourzandi (SSS, 2012)

Preservation of Security Configurations in the Cloud. - Arash Eghtesadi; Yosr Jarraya; Mourad Debbabi; Makan Pourzandi (IC2E, 2014)

Towards migrating security policies of virtual machines in Software Defined Networks. - Sahba Sadri; Yosr Jarraya; Arash Eghtesadi; Mourad Debbabi (NetSoft, 2015)

Verification of firewall reconfiguration for virtual machines migrations in the cloud. - Yosr Jarraya; Arash Eghtesadi; Sahba Sadri; Mourad Debbabi; Makan Pourzandi (Comput. Networks, 2015)