Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Export 2 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is K and Author is V. Klebanov  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
K
V. Klebanov, Manthey, N., and Muise, C., “SAT-based Analysis and Quantification of Information Flow in Programs”, in Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST 2013), 2013.
V. Klebanov, “Precise Quantitative Information Flow Analysis – A Symbolic Approach”, Theoretical Computer Science, 2014.