@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
}
