Deian Stefan

From MaRDI portal
Person:2911604



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Flexible dynamic information flow control in the presence of exceptions
Journal of Functional Programming
2017-10-23Paper
Addressing covert termination and timing channels in concurrent information flow systems
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
2014-07-21Paper
A domain-specific language for computing on encrypted data. (Invited talk)2012-08-31Paper
Hardware framework for the rabbit stream cipher
Information Security and Cryptology
2010-11-23Paper
Performance analysis of the SHA-3 candidates on exotic multi-core architectures
Cryptographic Hardware and Embedded Systems, CHES 2010
2010-08-17Paper
Improved Linear Differential Attacks on CubeHash
Progress in cryptology -- AFRICACRYPT 2010. Third international conference on cryptology in Africa, Stellenbosch, South Africa, May 3--6, 2010. Proceedings
2010-05-04Paper


Research outcomes over time


This page was built for person: Deian Stefan