Information Leakage in Arbiter Protocols. N. Tsiskaridze, L. Bang, J. McMahan, T. Bultan, and T. Sherwood. International Symposium on Automated Technology for Verification and Analysis, ATVA 2018. paper

Constraint Normalization and Parameterized Caching for Quantitative Program Analysis. T. Brennan, N. Tsiskaridze, N. Rosner, A. Aydin, T. Bultan. 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2017. paper

An Efficient SMT Solver for String Constraints. T. Liang, A. Reynolds, N. Tsiskaridze, C. Tinelli, C. Barrett, and M. Deters. Formal Methods in System Design, FMSD 2016. paper

Efficient Solving of String Constraints for Security Analysis. C. Barrett, C. Tinelli, M. Deters, T. Liang, A. Reynolds, N. Tsiskaridze. In Proceedings of the Symposium and Bootcamp on the Science of Security, HotSoS 2016. Poster abstract

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. T. Liang, N. Tsiskaridze, A. Reynolds, C. Tinelli and C. Barrett. In Proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015. paper

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings. T. Liang, N. Tsiskaridze, A. Reynolds, C. Tinelli, and C. Barrett. Technical report. Department of Computer Science, The University of Iowa, 2015. paper

All-SAT using Minimal Blocking Clauses. Y. Yu, P. Subramanyan, N. Tsiskaridze and S. Malik. 27th International Conference on VLSI Design, VLSID 2014. paper

Reverse Engineering Digital Circuits Using Structural and Functional Analyses. P. Subramanyan, N. Tsiskaridze, W. Li, A. Gascon, W. Y. Tan, A. Tiwari, N. Shankar, S. A. Seshia and S. Malik. IEEE Transactions on Emerging Topics in Computing, vol.2, no.1, pp.63-80, March 2014. paper

Reverse Engineering Digital Circuits Using Functional Analysis. P. Subramanyan, N. Tsiskaridze, K. Pasricha, D. Reisman, A. Susnea and S. Malik. Conference on Design, Automation and Test in Europe, DATE 2013. paper

Implementing Conflict Resolution. K. Korovin, N. Tsiskaridze, A. Voronkov. PSI 2011, LNCS v. 7162, Springer Verlag 2011. paper

Conflict Resolution. N. Tsiskaridze. PhD Thesis Submitted to The University of Manchester for the Degree of Doctor of Philosophy in the Faculty of Engineering and Physical Sciences, 2010.

Conflict Resolution. K. Korovin, N. Tsiskaridze, A. Voronkov. CP 2009, LNCS v. 5732, Springer Verlag 2009, pp. 509-523. paper , slides from CP'09

Awarded:
	The Best PhD Paper Award 2009 at the School of Computer Science at the University of Manchester
	A Runner-Up as the Best Paper Prize at the CP 2009 Conference

Selected Talks Talk at Enigma 2017 -- Conference on Emerging Threats and Novel Attacks (01/2017) Guest talk at Yale University (12/2015) Faculty seminar talk at the University of Ulm, Institute of Artificial Intelligence (05/2012) Guest talk at the Max Planck Institute for Informatics (12/2010) The Dagstuhl Seminar in Decision Procedures in Software, Hardware and Bioware (04/2010)