@inproceedings{messadi25tee,
	author = {Ines Messadi and Markus Elias Gerber and Tobias Distler and R\"{u}diger Kapitza},
	title = {{TEE}-Assisted Recovery and Upgrades for Long-Running {BFT} Services},
	booktitle = {Proceedings of the 20th International Conference on Availability, Reliability and Security (ARES '25)},
	year = {2025}
}