References for 'New Security Models and Proofs'

• Matthias Geihs, Denise Demirel, Johannes Buchmann:
  A security analysis of techniques for long-term integrity protection,
  14th Annual Conference on Privacy, Security and Trust (PST 2016).
• Ahto Buldas, Matthias Geihs, Johannes Buchmann:
  Long-Term Secure Commitments via Extractable-Binding Commitments,
  22nd Australasian Conference on Information Security and Privacy (ACISP 2017).
• Ahto Buldas, Matthias Geihs, Johannes Buchmann:
  Long-Term Secure Time-Stamping Using Preimage-Aware Hash Functions,
  11th International Conference on Provable Security (ProvSec 2017).