@conference{SB12,
author = "Christoph Sprenger and David Basin",
booktitle = "Proc. 25th IEEE Computer Security Foundations Symposium (CSF)",
note = "partner: ETH; projects: NESSoS; TIER: A; CITE (09/04/14): 7 ",
title = "{R}efining key establishment",
year = "2012",
}