The following pages link to Alejandro Russo (Q843216):
Displayed 9 items.
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Flexible manipulation of labeled values for information-flow control libraries (Q2165484) (← links)
- Functional pearl: two can keep a secret, if one of them uses Haskell (Q2981971) (← links)
- HLIO: mixing static and dynamic typing for information-flow control in Haskell (Q2981972) (← links)
- Implicit flows in malicious and nonmalicious code (Q3060986) (← links)
- Tracking Information Flow in Dynamic Tree Structures (Q3182851) (← links)
- Security for Multithreaded Programs Under Cooperative Scheduling (Q3401968) (← links)
- Addressing covert termination and timing channels in concurrent information flow systems (Q5168895) (← links)
- Flexible dynamic information flow control in the presence of exceptions (Q5371997) (← links)