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.
W. Rafnsson, Sabelfeld, A., and Garg, D.,
“Progress-Sensitive Security for SPARK”, in
Proceedings of the 8th International Symposium on Engineering Secure Software and Systems (ESSoS), 2016.