Mark Thober Office: NEB 211 Phone: 410 516-6072 Email: mthober_at_cs.jhu.edu

Research:

Programming Languages is my primary area of interest. I am a member of the Programming Language Lab in the Computer Science Dept. at Johns Hopkins. My current research involves language-based security and information flow security. I am also interested in Network Theory and in general Computing Theory problems.

Publications:

• Paritosh Shroff, Scott F. Smith, and Mark Thober. Dynamic Dependency Monitoring to Secure Information Flow, 20th IEEE Computer Security Foundations Symposium (CSF 2007). (Awarded Best Paper) Slides and Technical Report
• Scott F. Smith and Mark Thober. Improving Usability of Information Flow Security in Java, ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2007). Slides. See my dissertation below for more details.
• Scott F. Smith and Mark Thober. Refactoring Programs to Secure Information Flows, ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006).
• Ankur Bhargava, Kishore Kothapalli, Chris Riley, Christian Scheideler, Mark Thober. Pagoda: A Dynamic Overlay Network for Routing, Data Management, and Multicasting, Symposium on Parallelism in Algorithms and Architectures (SPAA 2004).
• Scott F. Smith and Mark Thober. A Static Capability Tracking System, International Workshop on Aliasing, Confinement, and Ownership of Objects 2003 (IWACO 2003).
• Ankur Bhargava, C. Sean Hundtofte, Mark Thober, A. Bzostek, R. H. Taylor. Software Framework for a Surgical Guidance System using Magnetic Markers, Medicine Meets Virtual Reality 2001 (MMVR 2001).

Dissertation:

• Mark Thober. End-to-End Information Flow Security for Java Ph.D. Dissertation, Johns Hopins University, 2007.

Technical Reports:

• Scott F. Smith and Mark Thober. Securing Data at Java IO Boundaries Draft.
• Christian Scheideler and Mark Thober. Approximation Heuristics for the Distributed Dominating Set Problem, Technical Report, Dept. of Computer Science, The Johns Hopkins University, April 2004.
• Scott F. Smith and Mark Thober. A Functional Approach to Capabilities, Technical Report, Dept. of Computer Science, The Johns Hopkins University, November 2002.