Case Study: Securing Renzo's Liquid Restaking Protocols with Halborn