The following pages link to Pablo Buiras (Q2165482):
Displaying 6 items.
- Flexible manipulation of labeled values for information-flow control libraries (Q2165484) (← links)
- Validation of abstract side-channel models for computer architectures (Q2225102) (← links)
- HLIO: mixing static and dynamic typing for information-flow control in Haskell (Q2981972) (← links)
- A Functional Framework for Result Checking (Q3558330) (← links)
- Addressing covert termination and timing channels in concurrent information flow systems (Q5168895) (← links)
- (Q5858674) (← links)
