@inproceedings{SB12, Author = {Christoph Sprenger and David Basin}, Booktitle = {Proceedings of the 25th IEEE Computer Security Foundations Symposium (CSF)}, Pages = {230--246}, Title = {Refining key establishment}, ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2012.21}, Year = {2012}}