@conference {202505, author = {Nestan Tsiskaridze}, title = {Leveraging the Power of Automated Reasoning in Security Analysis of Web Applications and Beyond}, year = {2017}, address = {Oakland, CA}, publisher = {USENIX Association}, month = jan }