Pablo Buiras

Visar 15 publikationer

2018

MAC A verified static information-flow control library

Marco Vassena, Alejandro Russo, Pablo Buiras et al
Journal of Logical and Algebraic Methods in Programming. Vol. 95, p. 148-180
Artikel i vetenskaplig tidskrift
2017

Cryptographically Secure Information Flow Control on Key-Value Stores

Lucas Waye, Pablo Buiras, Owen Arden et al
Proceedings of the ACM Conference on Computer and Communications Security, p. 1893-1907
Paper i proceeding
2016

Flexible manipulation of labeled values for information-flow control libraries

Marco Vassena, Pablo Buiras, L. Waye et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9878 LNCS, 2016, p. 538-557
Paper i proceeding
2015

HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 50 (9), p. 289-301
Paper i proceeding
2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft
PLAS 2015, p. 28-41
Paper i proceeding
2015

It's My Privilege: Controlling Downgrading in DC-Labels

L. Waye, Pablo Buiras, Dan King et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9331, p. 203-219
Paper i proceeding
2014

On Dynamic Flow-Sensitive Floating-Label Systems

Pablo Buiras, Deian Stefan, Alejandro Russo
27th IEEE Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July 2014. Vol. 2014-January, p. 65-79
Paper i proceeding
2014

Dynamic enforcement of dynamic policies

Pablo Buiras, Bart van Delft
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8788, p. 275-276
Paper i proceeding
2014

A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems

Pablo Buiras, Amit Levy, Deian Stefan et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8358, p. 199-216
Paper i proceeding
2013

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling

Deian Stefan, Pablo Buiras, E.Z. Yang et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8134, p. 718-735
Paper i proceeding
2013

Lazy Programs Leak Secrets

Pablo Buiras, Alejandro Russo
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8208, p. 116-122
Paper i proceeding
2012

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems

Deian Stefan, Alejandro Russo, Pablo Buiras et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 47 (9), p. 201-213
Paper i proceeding
2012

Addressing covert termination and timing channels in concurrent information flow systems

D. Stefan, Alejandro Russo, Pablo Buiras et al
ACM SIGPLAN Notices. Vol. 47 (9), p. 201-213
Artikel i vetenskaplig tidskrift

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Pablo Buiras medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.