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!
| Publication | Date of Publication | Type |
|---|---|---|
| Flexible dynamic information flow control in the presence of exceptions Journal of Functional Programming | 2017-10-23 | Paper |
| Addressing covert termination and timing channels in concurrent information flow systems Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| A domain-specific language for computing on encrypted data. (Invited talk) | 2012-08-31 | Paper |
| Hardware framework for the rabbit stream cipher Information Security and Cryptology | 2010-11-23 | Paper |
| Performance analysis of the SHA-3 candidates on exotic multi-core architectures Cryptographic Hardware and Embedded Systems, CHES 2010 | 2010-08-17 | Paper |
| 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-04 | Paper |
Research outcomes over time
This page was built for person: Deian Stefan