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

Export 5 results:
Author Title Type [ Year(Asc)]
Filters: Author is Vladimir Klebanov  [Clear All Filters]
2016
F. Dörre and Klebanov, V., “Practical Detection of Entropy Loss in Pseudo-Random Number Generators”, in Proceedings of the 23rd ACM Conference on Computer and Communications Security (CCS), 2016.
V. Klebanov, Weigl, A., and Weisbarth, J., “Sound Probabilistic #SAT with Projection”, in Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), 2016.
2015
F. Dörre and Klebanov, V., “Pseudo-Random Number Generator Verification: A Case Study”, in Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2015.
2014
B. Beckert, Bruns, D., Klebanov, V., Scheben, C., Schmitt, P. H., and Ulbrich, M., “Information Flow in Object-Oriented Software”, in Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR), 2014.
W. Ahrendt, Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Henschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P.  H., and Ulbrich, M., “The KeY Platform for Verification and Analysis of Java Programs”, in Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments, 2014.