Bitangent surfaces and involutions of quartic surfaces

We study the set of bitangent lines (called a congruence of bitangent lines classically) of an irreducible surface in a 3-dimensional projective space, especially a quartic surface with rational double points in any characteristic. In particular, we determine the congruences of bitangent lines for Kummer quartic surfaces in characteristic two.