Security Problems of Platform-as-a-Service (PaaS) Clouds and Practical Solutions to the Problems. - Mehmet Tahir Sandikkaya; Ali Emre Harmanci (SRDS, 2012)

Design and formal verification of a cloud compliant secure logging mechanism. - Mehmet Tahir Sandikkaya; Tolga Ovatman; Ali Emre Harmanci (IET Inf. Secur., 2016)