Security and Verification in Computing

We consider the problem of efficiently proving the integrity of data stored at untrusted servers. In the provable data possession (PDP) model, the client preprocesses the data and then sends it to an untrusted server for storage, while keeping a small amount of meta-data. The client later asks the server to prove that…

No abstract yet.

No abstract yet.

• ERKAY SAVAŞ

No abstract yet.

• CEMAL YILMAZ

Very recently, a new software side-channel attack, called Branch Prediction Analysis (BPA) attack, has been discovered and also demonstrated to be practically feasible on popular commodity PC platforms. While the above recent attack still had the flavor of a classical timing attack against RSA, where one uses many exe…

No abstract yet.

No abstract yet.

No abstract yet.

• ALIREZA SOURI
• NIMA JAFARI NAVIMIPOUR

The edge computing infrastructure has enabled a massive amount of data in the smart grid environment by a large number of connected automated devices to be processed at the edge of the network in proximity to the data generation source. The demand response management is a fundamental requirement for an efficient and r…

Cloud computing is a model to enable the convenient access to the network request for sharing the groups of configurable calculating resources. In this environment, confidences are insufficient for the customers to identify the trustworthy cloud service providers. Therefore, in this system, an important challenge is a…

• NIMA JAFARI NAVIMIPOUR

No abstract yet.

• İLKER KARA

Cache based side-channel attacks have recently been attracted significant attention due to the new developments in the field. In this paper, we present efficient trace-driven cache attacks on a widely used implementation of the AES cryptosystem. We also evaluate the cost of the proposed attacks in detail under the ass…