Pablo Buiras

Showing 15 publications

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
Journal article
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 in proceedings
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 in proceedings
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 in proceedings
2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft
PLAS 2015, p. 28-41
Paper in proceedings
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 in proceedings
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 in proceedings
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 in proceedings
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 in proceedings
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 in proceedings
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 in proceedings
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 in proceedings
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
Journal article

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Pablo Buiras participates, but you have to be logged in as a Chalmers employee to see them.