@online{keles2025breaking,
  author = {Alperen Keles},
  title = {Breaking Verifiable Abstractions},
  year = {2025},
  url = {https://alperenkeles.com/posts/verifiable-abstractions/},
  note = {Archived at \url{http://web.archive.org/web/20251231081655/https://alperenkeles.com/posts/verifiable-abstractions/}}
}