Sanjit Chatterjee, Darrel Hankerson, Alfred Menezes: On the Efficiency and Security of Pairing-Based Protocols in the Type 1 and Type 4 Settings. WAIFI 2010: 114-134