Marek Rychlý, Ondrej Rysavý. TARZAN: An Integrated Platform for Security Analysis. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 561-567, 2017. [doi]
Abstract is missing.