Lecture notes in computer scienceGeneric Compilers for Authenticated Key ExchangeTibor Jager, Florian Kohlar, Sven Schäge, Jörg SchwenkPublished Jan 1, 2010• 28 citationsPublisherDOI10.1007/978-3-642-17373-8_14