Traditional execution environments deploy Address Space Layout Randomization (ASLR) to defend against memory corruption attacks. However, Intel Software Guard Extension (SGX), a new trusted execution environment designed to serve security-critical applications on the cloud, lacks such an effective, well-studied feature. In fact, we find that applying ASLR to SGX programs raises non-trivial issu...

Acoustic evidence suggests that contemporary Seoul Korean may be developing a tonal system, which is arising in the context of a nearly completed change in how speakers use voice onset time (VOT) to mark the language’s distinction among tense, lax and aspirated stops.Data from 36 native speakers of varying ages indicate that while VOT for tense stops has not changed since the 1960s, VOT differe...

Changes in the planning and execution of movements were studied as a function of practice on a continuous motor task. Twelve subjects learned to move a pen through a cut-out square and maze patterns with their eyes closed. Maze patterns consisted of six, eight, ten, or twelve segments that were connected by intersections. Task performance was studied during six blocks. Although the mazes could ...

Secure Multi-Execution (SME) is a precise and general information flow control mechanism that was claimed to be a good fit for implementing information flow security in browsers. We validate this claim by developing FlowFox, the first fully functional web browser that implements an information flow control mechanism for web scripts based on the technique of secure multi-execution. We provide ev...

Jun (1995) and Hume (1998) incorporate perception into analysis of cross-linguistic trends in place assimilation and metathesis by claiming that the perceptual salience of specific segments motivates the ranking of relevant OT constraints. This study investigates the specific claims Jun and Hume make concerning the perceptual salience of cues for stop place of articulation to determine whether ...

We resolve the question of optimality for a wellstudied packetized implementation of random linear network coding, called PNC. In PNC, in contrast to the classical memoryless setting, nodes store received information in memory to later produce coded packets that reflect this information. PNC is known to achieve order optimal stopping times for the manyto-all multicast problem in many settings. ...

We present numerical simulations of vibrations of an elastic beam between two stops. The beam is clamped at one end to a vibrating device; the motion of the other end is restricted by two stops. The contact is modeled by the normal compliance condition which describes nonlinear flexible stops, and approximates the Signorini condition for rigid stops. We propose a finite element method for the n...