Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Dreier, J., Kremer, S., & Künnemann, R. (2017). A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. In 2nd IEEE European Symposium on Security and Privacy (pp. 76-91). Piscataway, NJ: IEEE. doi:10.1109/EuroSP.2017.12.
