Alejandro Russo

Available identifiers

zbMath Open russo.alejandroMaRDI QIDQ843216

List of research outcomes

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	2017-10-23	Paper
HLIO: mixing static and dynamic typing for information-flow control in Haskell	2017-05-10	Paper
Functional pearl: two can keep a secret, if one of them uses Haskell	2017-05-10	Paper
Addressing covert termination and timing channels in concurrent information flow systems	2014-07-21	Paper
Implicit flows in malicious and nonmalicious code	2010-12-13	Paper
Security for Multithreaded Programs Under Cooperative Scheduling	2010-02-02	Paper
Tracking Information Flow in Dynamic Tree Structures	2009-10-16	Paper
Securing interaction between threads and the scheduler in the presence of synchronization	2009-09-29	Paper

Research outcomes over time

This page was built for person: Alejandro Russo