Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Jeffrey C. Carlyle

dblp:47/3006 · DBLP profile ↗
← Back
5ranked-venue papers
0as first author
0since 2021 · last 2008
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 3Systems, architecture and hardware · 1Software engineering, systems software and programming languages · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
2 papers
Systems and software security · 46% Malware analysis · 30% Authentication and access control · 15%
Computer architecture, parallel and distributed computing, and storage systems
2 papers
Distributed systems · 74% Hardware reliability and fault tolerance · 26%
Software engineering, system software, and programming languages
2 papers
Operating systems · 100%

Topics — the 8 heaviest of 11, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
operating system security
0.222008
Cloaker: Hardware Supported Rootkit Concealment · SP 2008
BootJacker: compromising computers using forced restarts · CCS 2008
Authentication and access control › authentication › authentication attack
authentication bypass
0.112008
BootJacker: compromising computers using forced restarts · CCS 2008
Systems and software security
memory safety
0.112008
BootJacker: compromising computers using forced restarts · CCS 2008
Malware analysis
rootkit
0.112008
Cloaker: Hardware Supported Rootkit Concealment · SP 2008
Malware analysis
rootkit detection
0.112008
Cloaker: Hardware Supported Rootkit Concealment · SP 2008
Distributed systems › fault tolerance
failure recovery
0.112007
Exploring Recovery from Operating System Lockups · USENIX ATC 2007
Hardware security and side channels › physical attacks
physical access attack
0.012008
BootJacker: compromising computers using forced restarts · CCS 2008
Hardware reliability and fault tolerance
software fault tolerance
0.012008
CuriOS: Improving Reliability through Operating System Structure · OSDI 2008

Methods — techniques the papers use, named apart from their topics

warm boot memory preservation · 0.1hardware state modification · 0.1device driver integrity checks · 0.1
YearPublicationVenuePosition
2008 BootJacker: compromising computers using forced restarts
abstract
BootJacker is a proof-of-concept attack tool which demonstrates that authentication mechanisms employed by an operating system can be bypassed by obtaining physical access and simply forcing a restart. The key insight that enables this attack is that the contents of memory on some machines are fully preserved across a warm boot. Upon a reboot, BootJacker uses this residual memory state to revive the original host operating system environment and run malicious payloads. Using BootJacker, an attacker can break into a locked user session and gain access to open encrypted disks, web browser sessions or other secure network connections. BootJacker's non-persistent design makes it possible for an attacker to leave no traces on the victim machine.
Ellick Chan, Jeffrey C. Carlyle, Francis M. David, Reza Farivar 0002, Roy H. Campbell
CCS2
2008 CuriOS: Improving Reliability through Operating System Structure
Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell
OSDI3
2008 Cloaker: Hardware Supported Rootkit Concealment
abstract
Rootkits are used by malicious attackers who desire to run software on a compromised machine without being detected. They have become stealthier over the years as a consequence of the ongoing struggle between attackers and system defenders. In order to explore the next step in rootkit evolution and to build strong defenses, we look at this issue from the point of view of an attacker. We construct Cloaker, a proof-of-concept rootkit for the ARM platform that is non- persistent and only relies on hardware state modifications for concealment and operation. A primary goal in the design of Cloaker is to not alter any part of the host operating system (OS) code or data, thereby achieving immunity to all existing rootkit detection techniques which perform integrity, behavior and signature checks of the host OS. Cloaker also demonstrates that a self-contained execution environment for malicious code can be provided without relying on the host OS for any services. Integrity checks of hardware state in each of the machine's devices are required in order to detect rootkits such as Cloaker. We present a framework for the Linux kernel that incorporates integrity checks of hardware state performed by device drivers in order to counter the threat posed by rootkits such as Cloaker.
Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell
SP3
2007 iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support
abstract
The users of today's operating systems demand high reliability and security. However, faults introduced outside of the core operating system by buggy and malicious device drivers can significantly impact these dependability attributes. To help improve driver isolation, we propose an approach that utilizes the latest hardware virtualization support to efficiently sandbox each device driver in its own minimal virtual machine (VM) so that the kernel is protected from faults in these drivers. We present our implementation of a low-overhead virtual-machine based framework which allows reuse of existing drivers. We have constructed a prototype to demonstrate that it is feasible to utilize existing hardware virtualization techniques to allow device drivers in a VM to communicate with devices directly without frequent hardware traps into the virtual machine monitor (VMM). We have implemented a prototype parallel port driver which interacts through iKernel to communicate with a physical LED device.
Lin Tan 0001, Ellick Chan, Reza Farivar 0002, Nevedita Mallick, Jeffrey C. Carlyle, Francis M. David, Roy H. Campbell
DASC5
2007 Exploring Recovery from Operating System Lockups
Francis M. David, Jeffrey C. Carlyle, Roy H. Campbell
USENIX ATC2