Nigel P. Smart Frederik Vercauteren On computable isomorphisms in efficient asymmetric pairing-based systems. 538-547 2007 155 Discret. Appl. Math. 4 https://doi.org/10.1016/j.dam.2006.07.004 db/journals/dam/dam155.html#SmartV07