1. Minimum and Maximum Entropy Distributions for Binary Systems with Known Means and Pairwise Correlations
2. Decomposition instead of self-composition for proving the absence of timing channels
3. Abdulbaki Aydin , Lucas Bang , and Tevfik Bultan . 2015 . Automata-Based Model Counting for String Constraints . In Proceedings of the 27th International Conference on Computer Aided Verification (CAV). 255–272 . Abdulbaki Aydin, Lucas Bang, and Tevfik Bultan. 2015. Automata-Based Model Counting for String Constraints. In Proceedings of the 27th International Conference on Computer Aided Verification (CAV). 255–272.
4. Michael Backes , Boris Köpf , and Andrey Rybalchenko . 2009 . Automatic Discovery and Quantification of Information Leaks. In 30th IEEE Symposium on Security and Privacy (S&P 2009) , 17-20 May 2009, Oakland, California, USA. 141–153. Michael Backes, Boris Köpf, and Andrey Rybalchenko. 2009. Automatic Discovery and Quantification of Information Leaks. In 30th IEEE Symposium on Security and Privacy (S&P 2009), 17-20 May 2009, Oakland, California, USA. 141–153.
5. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems