Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Dürmuth, M., Hofheinz, D., & Küsters, R. (2008). Conditional reactive simulatability. International Journal of Information Security, 7(2), 155-169. doi:10.1007/s10207-007-0046-6.