Pablo Buiras

From MaRDI portal
Person:2165482

Available identifiers

zbMath Open buiras.pabloMaRDI QIDQ2165482

List of research outcomes





PublicationDate of PublicationType
Flexible manipulation of labeled values for information-flow control libraries2022-08-19Paper
https://portal.mardi4nfdi.de/entity/Q58586742021-04-14Paper
Validation of abstract side-channel models for computer architectures2021-02-04Paper
HLIO: mixing static and dynamic typing for information-flow control in Haskell2017-05-10Paper
Addressing covert termination and timing channels in concurrent information flow systems2014-07-21Paper
A Functional Framework for Result Checking2010-05-04Paper

Research outcomes over time

This page was built for person: Pablo Buiras

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2165482&oldid=6258938"
Powered by MediaWiki