Geoffrey Lawler

Learn More
Let B be a two dimensional Brownian motion and let the frontier of B[0, 1] be defined as the set of all points in B[0, 1] that are in the closure of the unbounded connected component of its complement. We prove that the Hausdorff dimension of the frontier equals 2(1 − α) where α is an exponent for Brownian motion called the two-sided disconnection exponent.(More)
This paper presents SpanDex, a set of extensions to An-droid's Dalvik virtual machine that ensures apps do not leak users' passwords. The primary technical challenge addressed by SpanDex is precise, sound, and efficient handling of implicit information flows (e.g., information transferred by a program's control flow). SpanDex handles implicit flows by(More)
Cooperative intrusion detection techniques for MANETs utilize ordinary computing hosts as network intrusion sensors. If compromised, these hosts may inject bogus data into the intrusion detection system to hide their activities or falsely accuse well-behaved nodes. Approaches to Byzantine fault tolerance involving voting are potentially applicable, but must(More)
Let B be a two dimensional Brownian motion and let the frontier of B0; 1] be deened as the set of all points in B0; 1] that are in the closure of the unbounded connected component of its complement. We prove that the Hausdorr dimension of the frontier equals 2(1?) where is an exponent for Brownian motion called the two-sided disconnection exponent. In(More)
  • 1