Franklin L. Webber
Ithaca, NY 14850 USA
franklin "at" Eutaxy.Net
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, and theory for gaining
assurance of software security and reliability.
Employment Experience
-
2010 - now: Software Engineer, CACI International, Inc.
- Specified and implemented visualization tools to support semantic-based
message routing.
- Supported tool development to streamline command-and-control in the US Joint Space
Operations Center (JSpOC).
- Used Java, JBoss, Neo4j, Docker, 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,
heterogenous services.
- 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
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. 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.
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
research team. Developed digital hardware and embedded software.
Used Fortran and assembly languages.
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)
-
"An Abstract Interface for Cyber-Defense Mechanisms"
Cyber Security and Information Intelligence Research Workshop, 2008
(jointly with Partha Pal, et al.).
-
"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
Recent courses completed:
- Cornell: Quantum Field Theory I
- Coursera: Cryptography I; Quantum Optics
Note
Franklin L. Webber was formerly named Douglas G. Weber.
Documents written before 1997 use his older name.
