Alejandro Russo

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 manipulation of labeled values for information-flow control libraries	2022-08-19	Paper
Flexible dynamic information flow control in the presence of exceptions Journal of Functional Programming	2017-10-23	Paper
HLIO: mixing static and dynamic typing for information-flow control in Haskell Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Functional pearl: two can keep a secret, if one of them uses Haskell Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	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
Implicit flows in malicious and nonmalicious code	2010-12-13	Paper
Security for multithreaded programs under cooperative scheduling Perspectives of Systems Informatics	2010-02-02	Paper
Tracking Information Flow in Dynamic Tree Structures Computer Security – ESORICS 2009	2009-10-16	Paper
Securing interaction between threads and the scheduler in the presence of synchronization The Journal of Logic and Algebraic Programming	2009-09-29	Paper

Research outcomes over time

This page was built for person: Alejandro Russo