Pablo Buiras
Showing 17 publications
MAC A verified static information-flow control library
QuickFuzz testing for fun and profit
Cryptographically Secure Information Flow Control on Key-Value Stores
The Key monad: Type-safe unconstrained dynamic typing
Flexible manipulation of labeled values for information-flow control libraries
Securing functional programs with floating-label information-flow control
Dynamic Enforcement of Dynamic Policies
HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell
It's My Privilege: Controlling Downgrading in DC-Labels
A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems
Securing concurrent programs with dynamic information-flow control
On Dynamic Flow-Sensitive Floating-Label Systems
Dynamic enforcement of dynamic policies
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling
Addressing covert termination and timing channels in concurrent information flow systems
Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems
Download publication list
You can download this list to your computer.
Filter and download publication list
As logged in user (Chalmers employee) you find more export functions in MyResearch.
You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:
Zotero Connector
Mendeley Web Importer
The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.