Franklin L. Webber
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, and theory for gaining
assurance of software security and reliability.
2010 - now: Software Engineer, CACI International, Inc.
- Developing software to streamline command-and-control in the US Joint Space
Operations Center (JSpOC).
- Used Java, JBoss, and Maven .
1998 - 2010: Independent Contractor.
(Items 1-4 for BBN Technologies)
- Performed DARPA-sponsored research to make computer systems
resistant to malicious attack. Led the development of secure and
attack-tolerant protocols to coordinate redundant, distributed,
- Defended a US Air Force command-and-control application against attack by
professional "Red Teams" in several experiments in 2002 and 2005.
- Performed DARPA-sponsored research on management of cyber-defenses.
- Supported research on adaptive middleware.
Used Java, CORBA, ACE, TAO.
- Developed a Java scheduling subsystem based on Quartz,
for Envisage Information Systems.
Used Eclipse, WebSphere, Oracle, MS SQL Server.
- Developed browser interfaces using Java Server Pages (JSP)
and Tomcat with a MySQL database on Windows (for one client)
and on Unix (for another).
2007 - 2009: Software Engineer, GrammaTech, Inc.
- Supported development of tools for static analysis of
x86 and PowerPC binaries.
- Used C, C++, Visual Studio, Python, and Scons.
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
- 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
- Used C++, Prolog, Lisp. Responsible for Unix system administration.
1983 - 92: Computer Scientist and Project Manager,
Odyssey Research Associates.
- Led the development of the world's first secure (MLS)
distributed operating system. 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.
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.
Program Committee member and invited speaker,
1992 Symposium on Formal Techniques in Real-Time
and Fault-Tolerant Systems, University of Nijmegen.
(download some papers here)
"An Abstract Interface for Cyber-Defense Mechanisms"
Cyber Security and Information Intelligence Research Workshop, 2008
(jointly with Partha Pal, et al.).
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").
Recent courses completed:
- 1981 - M.S., Physics, Cornell University
- 1977 - B.S., Physics, California Institute of Technology
- Cornell: Quantum Field Theory I
- Coursera: Cryptography I; Quantum Optics
Franklin L. Webber was formerly named Douglas G. Weber.
Documents written before 1997 use his older name.