Traditional, persistent data-oriented approaches in computer forensics face some limitations
regarding a number of technological developments, eg, rapidly increasing storage …

Contrary to widespread assumption, dynamic RAM (DRAM), the main memory in most
modern computers, retains its contents for several seconds after power is lost, even at room …

Smartphones and tablets are easily lost or stolen. This makes them susceptible to an
inexpensive class of memory attacks, such as cold-boot attacks, using a bus monitor to …

Recognizing the pressing demands to secure embedded applications, ARM TrustZone has
been adopted in both academic research and commercial products to protect sensitive code …

Even though a target machine uses full disk encryption, cold boot attacks can retrieve
unencrypted data from RAM. Cold boot attacks are based on the remanence effect of RAM …

We present a logic for reasoning about properties of secure systems. The logic is built
around a concurrent programming language with constructs for modeling machines with …

To ensure the security of cryptographic algorithm implementations, several cryptographic
key protection schemes have been proposed to prevent various memory disclosure attacks …

We examine the problem of processing temporal joins in the presence of indexing schemes.
Previous work on temporal joins has concentrated on non-indexed relations which were fully …

Current post-mortem cyber-forensic techniques may cause significant disruption to the
evidence gathering process by breaking active network connections and unmounting …

The abundance of embedded systems and smart devices increases the risk of physical
memory disclosure attacks. One such classic non-invasive attack exploits dynamic RAM's …