My research interests broadly lie in the area of systems security. Through systems design and formal verification, my research seeks to improve security and privacy guarantees in emerging computing platforms. See https://ozgurozmen.github.io/ for detail