Arash Eghtesadi

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 2

Top Topics

Formal Verification

Cloud Computing

Security Policies

Top Venues

Comput. Networks

Publications

Sahba Sadri, Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi
Towards migrating security policies of virtual machines in Software Defined Networks. NetSoft (2015)
Yosr Jarraya, Arash Eghtesadi, Sahba Sadri, Mourad Debbabi, Makan Pourzandi
Verification of firewall reconfiguration for virtual machines migrations in the cloud. Comput. Networks 93 (2015)
Arash Eghtesadi, Yosr Jarraya, Mourad Debbabi, Makan Pourzandi
Preservation of Security Configurations in the Cloud. IC2E (2014)
Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud. SSS (2012)
Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi
Cloud calculus: Security verification in elastic cloud computing platform. CTS (2012)