Florian Böhl, Dominique Unruh. Symbolic universal composability. Journal of Computer Security, 24(1):1-38, 2016. [doi]
@article{BohlU16, title = {Symbolic universal composability}, author = {Florian Böhl and Dominique Unruh}, year = {2016}, doi = {10.3233/JCS-140523}, url = {http://dx.doi.org/10.3233/JCS-140523}, researchr = {https://researchr.org/publication/BohlU16}, cites = {0}, citedby = {0}, journal = {Journal of Computer Security}, volume = {24}, number = {1}, pages = {1-38}, }