Within the general space of IBC and its generalizations like attribute-based cryptography (ABC) and functional cryptography (FC), we plan to collaborate on a number of problems in three different cross-cutting thrusts. Briefly, the three cross-cutting thrusts are:• Formal proofs of security for protocols built on IBC and its generalizations.• Applications of IBC and its generalizations to build security primitives and systems• Mathematical foundations of IBC and its generalizations.