Pablo Buiras
Visar 17 publikationer
MAC A verified static information-flow control library
Cryptographically Secure Information Flow Control on Key-Value Stores
QuickFuzz testing for fun and profit
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
HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell
Dynamic Enforcement of Dynamic Policies
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.