Login / Signup
Ali Emre Harmanci
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 1
Top Topics
Software As A Service
Security Problems
Practical Solutions
Model Checker
Top Venues
SRDS
IET Inf. Secur.
</>
Publications
</>
Mehmet Tahir Sandikkaya
,
Tolga Ovatman
,
Ali Emre Harmanci
Design and formal verification of a cloud compliant secure logging mechanism.
IET Inf. Secur.
10 (4) (2016)
Mehmet Tahir Sandikkaya
,
Ali Emre Harmanci
Security Problems of Platform-as-a-Service (PaaS) Clouds and Practical Solutions to the Problems.
SRDS
(2012)