Experience

Information Security Corporation

• United States
• IT Services and IT Consulting
• 1 - 100 Employee

• Executive VP

  • Oct 2022 - Present

• VP R&D

  • Jul 1987 - Mar 2023

  oversaw development of the first NIAP/CSfC-certified X.509 certificate authority (which has recently been updated to fully support NIST quantum-safe algorithms); developed (with J. Schulze-Hewett) a enterprise-level X.509 credential management utility; responsible for the development and maintenance of ACVP test harnesses for recurring NIST FIPS 140 validations; developed the first commercial implementation of DSA and was awarded VP Gore's Hammer Award (with T. Venn) for its use in a GSA application; participated in, and eventually served as treasurer of, the IEEE P1363 working group to develop ECC, RSA and related cryptographic standards throughout the 1990s; member of the NIST TACDFIPSFKMI; implemented classified Capstone algorithms in software to publicly demonstrate interoperability with NSA's Fortezza card; developed a CDSA-compliant CSP for HP that was bundled with several generations of their UNIX OS; developed a PKCS#11 library for an industry partner's first smartcard effort; finally extended the Kobayashi pseudodistance construction to general parabolic geometries (after crucial foundational work in 2005 by Cap, Slovak, Doubrov, and Zadnik) and showed that in the simplest cases (codim 0), Fefferman inclusions between two parabolic geometries are always distance non-increasing w.r.t. those pseudodistances; gave, for conformally Einstein spacetimes, a simple geometric proof of a Penrose-type Singularity Theorem; currently interested in quantum gravity and AdS/CFT holography Show less



Loyola University Chicago

• United States
• Higher Education
• 700 & Above Employee

• Associate Professor

  • Aug 1983 - Jun 1987

  taught math and computer science; acted as co-sysadm of departmental computer network; developed and marketed cryptographic software; fought a patent infringement lawsuit with RSA/PKP/MIT/Stanford that was eventually settled for $1800 and no finding of infringement; created a PC-based emulation of the Xerox Memorywriter OS and built a word processing document conversion utility on top of it to facilitate typewriter -> PC migration (this was eventually distributed by Xerox in the US, Canada and Europe); finally learned some crypto in a formal setting by attending A. Shamir's course at UofC Show less



University of Illinois Chicago

• United States
• Higher Education
• 700 & Above Employee

• Visiting Assistant Professor

  • Aug 1982 - May 1983

  taught math; failed miserably to extend the Kobayashi pseudodistance construction to general parabolic geometries (but did finally accomplish that around 2010); developed (with R. Schlafly) the first commercial RSA/DES hybrid encryption utility ("Crypt Master") and sold it to the UNHCR HQ in Geneva taught math; failed miserably to extend the Kobayashi pseudodistance construction to general parabolic geometries (but did finally accomplish that around 2010); developed (with R. Schlafly) the first commercial RSA/DES hybrid encryption utility ("Crypt Master") and sold it to the UNHCR HQ in Geneva



University of Chicago

• United States
• Higher Education
• 700 & Above Employee

• L.E. Dickson Instructor

  • Aug 1980 - May 1982

  taught math; pursued research in, and ran a short weekly seminar on, Kobayashi's projective and conformal Lorentz pseudodistances and their possible extensions to general parabolic geometries; developed a general cryptographic software library and dependent RSA/DES hybrid encryption/digital signature utility with R. Schlafly; proved (with R. Schlafly) a rigidity result for pseudoconformal connections on CR manifolds taught math; pursued research in, and ran a short weekly seminar on, Kobayashi's projective and conformal Lorentz pseudodistances and their possible extensions to general parabolic geometries; developed a general cryptographic software library and dependent RSA/DES hybrid encryption/digital signature utility with R. Schlafly; proved (with R. Schlafly) a rigidity result for pseudoconformal connections on CR manifolds



University of Notre Dame

• United States
• Higher Education
• 700 & Above Employee

• Assistant Professor

  • Aug 1979 - May 1980

  taught math and computer science; studied the Kobayashi conformal Lorentz pseudodistance, calculated it on Einstein-de Sitter space, and applied it to prove a simple baby analogue of the Penrose/Hawking singularity theorems; proved that, via Matsushita's bijective correspondence between n-dim complex, commutative, associative algebras and holomorphic affine structures on complex n-tori (or, via Calabi-Yau, flat affine Kahler manifolds), semisimple algebras correspond to tori which are (holomorphically) projectively hyperbolic (in the sense of Kobayashi) Show less