SystemC is a system-level modeling language and simulation framework which facilitates design and verification of processor designs at different levels. Recently, SystemC is becoming a popular choice for designers of both System-On-Chip (SoC) and embedded processors, due to its adaptability at cycle as well as transaction levels, and ability to model… (More)
Virtual machines (VM) are rapidly replacing physical machine infrastructures for their abilities to emulate hardware environments, share hardware resources, and utilize a variety of operating systems (OS). VMs provide a better security model than traditional machines by providing an additional layer of hardware abstraction and isolation, effective external… (More)
Event reconstruction is the process that explains the 'how' and 'why' of an evidence in a digital investigation. Formalization of this process is essential because the evidence is of legal value which requires a logical reasoning. A finite state machine approach and formalization of the event reconstruction problem had been proposed by Gladyshev. The… (More)
Coverlipse is an open source coverage analysis tool that analyzes the block coverage and All-uses coverage of a JUnit test suite and generates reports on it. This thesis sets out to describe the work undertaken to update Coverlipse by implementing branch coverage and Cyclomatic Complexity analysis in it. Using the updated version of Coverlipse we show that… (More)
It is an open challenge for virtualization technology architects to provide security to Virtual Machine (VM), in the presence of an infected hypervisor, without much compromise on performance. A few hardware modifications have been introduced by manufactures like Intel and AMD to provide a secure VM environment with low performance degradation. These… (More)
The role of bone marrow-derived mesenchymal stem/stromal cells (MSCs) in creating a permissive microenvironment that supports the emergence and progression of acute myeloid leukemia (AML) is not well established. We investigated the extent to which adipogenic differentiation in normal MSCs alters hematopoietic supportive capacity and we undertook an… (More)
Cloud computing has evolved as a popular computing environment. In data centric applications hosted on the cloud, data is accessed and updated in a purely distributed manner. The distributed data structures used for dynamic storage of the data for such applications require two fundamental qualities, authentication and persistence, which are not completely… (More)
Venue : CSED Seminar Hall The abstract is given below. Doctoral Committee members, faculty members, research scholars and other students are cordially invited.