Franklin L. Webber
410 West Green Street #1
Ithaca, NY 14850 USA
607 277 0803
Franklin.Webber@computer.org
Overview
Extensive experience in all phases of software engineering. Special
expertise in high-assurance software for secure and fault-tolerant systems.
Experience includes research and development of tools, protocols,
methods and theory for gaining assurance of software security and reliability.
Professional Experience
-
2007 - now: Software Engineer, GrammaTech, Inc.
- Supporting development of tools for static analysis of code.
-
1998 - now: Independent Contractor.
- 2006: Developed browser interfaces using Java Server Pages (JSP)
and Tomcat with a MySQL database on Windows (for one client)
and on Unix (for another).
- 1999-now: Performing DARPA-sponsored research to make computer systems
resistant to malicious attack. Led the development of secure and
attack-tolerant protocols to coordinate redundant, distributed services.
Used Java, running on Linux, Solaris, and Windows hosts.
Used MySQL and JBOSS.
Defended US Air Force client-server application against attack by
professional "Red Teams" in several experiments in 2002 and 2005.
- 1998-99: Supported research on adaptive middleware.
Used Java, JacORB, Visibroker, C++, ACE, TAO.
-
1992 - 99:
Founding Partner and Project Manager, Key Software, Inc.
- Led the research and development of middleware and tools,
in Java and for Java,
to allow secure modification of distributed system coordination protocols
at runtime.
- Supported the design and implementation of a tool for modeling and
analysis of secure, fault-tolerant, distributed systems.
-
1992 - 96:
Senior Software Engineer, CoGenTex, Inc.
- Supported development and integration of natural-language text generation
tools. Used C++, Prolog, Lisp.
- Unix system administration.
-
1992: Programmer,
Moore Computer Consultants, Inc.
- Performed data analysis and implemented a test suite using C++.
-
1983 - 92: Computer Scientist and Project Manager,
Odyssey Research Associates.
- Led the development of the world's first secure (MLS)
distributed operating system (THETA). Designed for Orange Book A1.
Followed DoD STD 2167A process.
Modified an earlier system in C on Unix.
Applied Gypsy formal code verification system.
- Developed and applied new theoretical results for computer security
and fault tolerance.
- Led the development of formal software specification and verification
tools in Ada for Ada.
-
1983: Programmer, Department of Biochemistry,
Cornell University.
-
1981: Programmer, Porous Materials, Inc.
- Used in 6502 assembly language.
-
1978 - 83: Research Assistant,
Wilson Synchrotron Laboratory, Cornell University.
- Constructed detectors and analyzed data for elementary-particle physics
team. Developed digital hardware and embedded software.
Used Fortran and assembly language.
Professional Activities
Program Committee member and invited speaker,
1992 Symposium on Formal Techniques in Real-Time
and Fault-Tolerant Systems, University of Nijmegen.
Selected Publications
(download some papers here)
-
"Defense-Enabled Applications"
DARPA Information Survivability Conference and Exposition (DISCEX) 2001,
(jointly with Partha Pal, et al.).
-
"Software Wrappers for Nonstop Computing"
panelist position statement,
National Information Systems Security Conference, 1997.
-
"Fault Tolerance as Self-Similarity"
in "Formal Techniques in Real-Time and Fault-Tolerant Systems",
Jan Vytopil, editor, Kluwer Academic Press, 1993.
-
"Quantitative Hook-Up Security
for Covert Channel Analysis"
Computer Security Foundations Workshop, 1988.
-
"The Secure Distributed Operating System Project"
IEEE Symposium on Security and Privacy, 1988
(jointly with S. Vinter, et al.).
-
"The SDOS Project -- Verifying Hook-Up Security"
Aerospace Computer Security Applications Conference, 1987
(jointly with Bob Lubarsky) (SDOS was later renamed "THETA").
Education
- 1981 - M.S., Physics, Cornell University
- 1977 - B.S., Physics, California Institute of Technology
Note
Franklin L. Webber was formerly named Douglas G. Weber.
Documents written before 1997 use his older name.
