@InProceedings{chaliasos25rollups,
  title =        "Towards a Formal Foundation for Blockchain Rollups",
  author =       "Stefanos Chaliasos and Denis Firsov and Benjamin
                 Livshits",
  year =         "2025",
  month =        oct,
  booktitle =    "Proceedings of the {ACM} Conference on Computer and
                 Communications Security {(CCS)}",
}