Learn More
Virtual machine (VM) introspection is a powerful technique for determining the specific aspects of guest VM execution from outside the VM. Unfortunately, existing introspection solutions share a common questionable assumption. This assumption is embodied in the expectation that original kernel data structures are respected by the untrusted guest and thus(More)
Targeting the operating system (OS) kernel, kernel rootkits pose a formidable threat to computer systems and their users. Recent efforts have made significant progress in blocking them from injecting malicious code into the OS kernel for execution. Unfortunately, they cannot block the emerging so-called <i>return-oriented rootkits</i> (RORs). Without the(More)
ProofChecker is a graphical program based on the notion of formal correctness proofs that allows students, both sighted and visually impaired, to draw a deterministic finite automaton (DFA) and determine whether or not it correctly recognizes a given language. Sighted students use the mouse and graphical controls to draw and manipulate the DFA. Keyboard(More)
Social media is an increasingly important part of modern life. We investigate the use of and usability of Twitter by blind users, via a combination of surveys of blind Twitter users, large-scale analysis of tweets from and Twitter profiles of blind and sighted users, and analysis of tweets containing embedded imagery. While Twitter has traditionally been(More)
CAVIAR is designed to aid people with vision impairment in locating, identifying, and acquiring objects in their peripersonal space. A mobile phone, worn on the chest, captures video in front of the user; the computer vision component locates the user's hand and objects in the video stream. The auditory component informs the user about the presence of(More)
Touch It, Key It, Speak It (Tikisi) is a software framework for accessible exploration of graphical information by vision impaired users. Multimodal input to Tikisi is through multitouch gestures, keystrokes, and spoken commands; output is generated speech. The key insight in Tikisi is the decoupling of input and output resolutions achieved by a virtual,(More)
In this paper we present an approach to assessing the accessibility of Web pages, based on machine learning techniques. We are interested in the question of whether there are structural and textual features of Web pages, independent of explicit accessibility concerns, that nevertheless influence their usability for people with vision impairment. We describe(More)
Social media is an increasingly important part of modern life. We investigate the use of and usability of Twitter by blind users, via a combination of surveys of blind Twitter users, large-scale analysis of tweets from and Twitter profiles of blind and sighted users, and analysis of tweets containing embedded imagery. While Twitter has traditionally been(More)
  • 1