October 01, 2016

CURE-Towards enforcing a reliable timeline for cloud forensics: Model, architecture, and experiments

  • Di Pietro R.
  • Lombardi F.

A malicious alteration of system-provided timeline can negatively affect the reliability of computer forensics. Indeed, detecting such changes and possibly reconstructing the correct timeline of events is of paramount importance for court admissibility and logical coherence of collected evidence. However, reconstructing the correct timeline for a set of network nodes can be difficult since an adversary has a wealth of opportunities to disrupt the timeline and to generate a fake one. This aspect is exacerbated in cloud computing, where host and guest machine-time can be manipulated in various ways by an adversary. Therefore, it is important to guarantee the integrity of the timeline of events for cloud host and guest nodes, or at least to ensure that timeline alterations do not go undetected. This paper provides several contributions. First, we survey the issues related to cloud machine-time reliability. Then, we introduce a novel architecture (CURE) aimed at providing timeline resilience to cloud nodes. Further, we implement the proposed framework and extensively test it on both a simulated environment and on a real cloud. We evaluate and discuss collected results showing the effectiveness of our proposal. (C) 2016 Elsevier B.V. All rights reserved.

View Original Article

Recent Publications

October 30, 2016

43 Years of Actors: a Taxonomy of Actor Models and Their Key Properties

The Actor Model is a message passing concurrency model that avoids common concurrency issues such as low-level data races and deadlocks by construction. This has made the Actor Model an interesting concurrency model that has been used in various concurrency settings both in research as well as in industry, ranging ...

October 01, 2016

Practical Hardware Considerations for the Design of Hybrid Precoding Systems

  • Rulikowski P.
  • Venkateswaran V.

In this paper we describe practical implications of employing communication schemes with analog beamforming networks (ABFN). Specifically, we formulate realistic constraints for standard ABFN based on the S-parameters of the hardware components involved in their implementation. We concentrate on flexible fully-connected ABFN and Butler networks for im- plementing the discrete ...

October 01, 2016

The hydrodynamic and heat transfer behaviour downstream of a channel obstruction in the laminar flow regime

  • Jeffers N.
  • Punch J.
  • Stafford J.
  • Waddell A.

Microfluidic systems have been proposed as potential solutions for the cooling of next-generation Integrated Circuits (ICs) and Photonics Integrated Circuits (PICs). For PICs, integration of microfluidics may enable greater laser-bar array densities and, consequently, greater transmission bandwidth. To cool the micrometer scale hot-spots produced by the laser-bars, a passively actuated ...