Tim Fraser's page at the WPI alumni site

Free (as in speech) software projects:

• LambdaCan -- an Arduino Diecimila-based Lambda Calculus reducer.
• Slide40 -- slide presentation software that mimics the minimalist look of 1970's all-caps 40-column 8-bit computer displays.
• Zilog Microcontroller Hacking -- programs for Zilog Z8 Encore! and eZ80 Acclaim! boards done just for fun.
• LOMAC -- a security extension for Linux and FreeBSD kernels.
• Snowfence -- a simple iptables firewall for the Sharp Zaurus palmtop.
• Tupd -- a daemon that reports uptime statistics via HTTP.
• Pf -- a program that implements the Playfair manual cryptosystem.

Free (as in beer) software projects:

• Roguedump -- dumps rogue high score files.

For your amusement:

• A document describing how to install Debian GNU/Linux "Etch" on an IBM/Lenovo T60 laptop including how to install Xen and make use of Intel's hardware virtualization support.
• A brief HOWTO document on programming ZiLOG eZ80 Acclaim! microcontroller boards.
• A catalog of my collection of obsolete computer hardware.
• A memorial to my GNU/Linux firewall box for its first continuous year of uptime.
• A 2002 article about installing Debian GNU/Linux on Alpha workstations.
• Some pictures of the Wang Towers I took in 2004.
• An account of a visit I made with some friends to the WPI campus in January 2002, about seven years after we had been there as undergraduates.

Conference Publications:

• Petroni, Fraser, Walters, Arbaugh, "An Architecture for Specification-Based Detection of Semantic Integrity Violations in Kernel Dynamic Data," 15th USENIX Security Symposium, 2006 [USENIX site].
• Petroni, Fraser, Molina, Arbaugh, "Copilot - A Coprocessor-based Kernel Runtime Integrity Monitor," 13th USENIX Security Symposium, 2004 [USENIX site].
• Fraser, "LOMAC: MAC You Can Live With," FreeNIX Track, 2001 USENIX Annual Technical Conference [PDF].
• Fraser, "LOMAC: Low Water-Mark Integrity Protection for COTS Environments," 2000 IEEE Symposium on Security and Privacy [PDF].
• Ko, Fraser, Badger, Kilpatrick, "Detecting and Countering System Intrusions Using Software Wrappers," 2000 USENIX Security Symposium [PDF].
• Fraser, Badger, Feldman, "Hardening COTS Software with Generic Software Wrappers," 1999 IEEE Symposium on Security and Privacy [PDF].
• Fraser, Badger, "Ensuring Continuity During Dynamic Security Policy Reconfiguration in DTE," 1998 IEEE Symposium on Security and Privacy.

Journal Publications:

• Mishra, Petroni, Arbaugh, Fraser, "Security issues in IEEE 802.11 wireless local area networks: a survey," Wireless Communications and Mobile Computing, Vol. 4, No. 8, December 2004. (invited)
• Petroni, Walters, Fraser, Arbaugh, "FATKit: A Framework for the Extraction and Analysis of Digital Forensic Data from Volatile System Memory," Digital Investigation Journal 3(4), December 2006.

Workshop Publications:

• Dingels, Fraser, Quinn, "Generating Java Unit Tests with AI Planning," Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech), 2007.
• Fraser, Petroni, Arbaugh, "Applying flow-sensitive CQUAL to verify MINIX authorization check placement," Proceedings of the 2006 workshop on programming languages and analysis for security (PLAS), 2006 [ACM digital library].

Thanks:

Many thanks to aej@wpi.edu for making this web space available.

Contact:

$Id: index.html,v 1.31 2008-02-05 22:51:00 tim Exp $