@inproceedings{messadi:2025:tee,
  author    = {Messadi, Ines and Gerber, Markus Elias and Distler, Tobias and Kapitza, Rüdiger},
  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)},
  eventdate = {2025-08-11/2025-08-14},
  venue     = {Ghent},
  date      = {2025},
  doi       = {10.1007/978-3-032-00627-1_5},
  url       = {https://sys.cs.fau.de/publications/2025/messadi_25_ares.pdf},
}