1. Almeida, J. B., Bangerter, E., Barbosa, M., Krenn, S., Sadeghi, A.-R., Schneider, T. (2010): A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocols. In ESORICS (pp. 151–167).
2. Almeida, J. B., Barbosa, M., Bangerter, E., Barthe, G., Krenn, S., Zanella Béguelin, S. (2012): Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. In ACM CCS (pp. 488–500).
3. Ateniese, G., Chou, D. H., de Medeiros, B., Tsudik, G. (2005): Sanitizable signatures. In ESORICS (pp. 159–177).
4. Blakley, G. R. (1979): Safeguarding cryptographic keys. In Proceedings of the national computer conference (Vol. 48, pp. 313–317).
5. Blaze, M., Bleumer, G., Strauss, M. (1998): Divertible protocols and atomic proxy cryptography. In EUROCRYPT (pp. 127–144).