%0 Journal Article %1 journals/afp/LallemandS17 %A Lallemand, Joseph %A Sprenger, Christoph %D 2017 %J Archive of Formal Proofs %K dblp %T Refining Authenticated Key Agreement with Strong Adversaries. %U http://dblp.uni-trier.de/db/journals/afp/afp2017.html#LallemandS17 %V 2017

@article{journals/afp/LallemandS17, added-at = {2019-01-07T00:00:00.000+0100}, author = {Lallemand, Joseph and Sprenger, Christoph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2723cbf1677d8260603e7b93bb1b7aab4/dblp}, ee = {https://www.isa-afp.org/entries/Key_Agreement_Strong_Adversaries.shtml}, interhash = {1cc4fd269c99c8e82ebbb5dda4cdf638}, intrahash = {723cbf1677d8260603e7b93bb1b7aab4}, journal = {Archive of Formal Proofs}, keywords = {dblp}, timestamp = {2019-09-27T11:28:52.000+0200}, title = {Refining Authenticated Key Agreement with Strong Adversaries.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2017.html#LallemandS17}, volume = 2017, year = 2017 }