Sebastian Gajek. Foundations of provably secure browser-based protocols. PhD thesis, Ruhr University Bochum, 2009.
@phdthesis{de-609, title = {Foundations of provably secure browser-based protocols}, author = {Sebastian Gajek}, year = {2009}, note = {http://d-nb.info/996578269}, researchr = {https://researchr.org/publication/de-609}, cites = {0}, citedby = {0}, school = {Ruhr University Bochum}, }