@inproceedings{cicero_mw20,
  author = {Lembke, James and Ravi, Srivatsan and Roman, Pierre-Louis and Eugster, Patrick},
  title = {{Consistent and Secure Network Updates Made Practical}},
  booktitle = {Proceedings of the 21st International Middleware Conference},
  series = {Middleware '20},
  year = {2020},
  month = dec,
  location = {Delft, Netherlands},
  doi = {10.1145/3423211.3425694},
  isbn = {9781450381536},
  publisher = {{ACM}},
  pages = {149–-162},
  numpages = {14},
}