Pablo Buiras

Publications (17)
Projects (0)

Showing 17 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 proceeding

2017

QuickFuzz testing for fun and profit

Gustavo Grieco, Martín Ceresa, Claudio Agustin Mista et al

Journal of Systems and Software. Vol. 134 (December 2017), p. 340-354

Journal article

2016

The Key monad: Type-safe unconstrained dynamic typing

Atze van der Ploeg, Koen Claessen, Pablo Buiras

Haskell 2016 - Proceedings of the 9th International Symposium on Haskell, co-located with ICFP 2016, p. 146-157

Paper in 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, p. 538-557

Paper in proceeding

2016

Securing functional programs with floating-label information-flow control

Pablo Buiras

Doctoral thesis

2015

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

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo

ACM SIGPLAN Notices. Vol. 50 (9), p. 289-301

Journal article

2015

Dynamic Enforcement of Dynamic Policies

Pablo Buiras, Bart van Delft

PLAS 2015, p. 28-41

Paper in 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 in 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 LNCS, p. 199-216

Paper in proceeding

2014

Securing concurrent programs with dynamic information-flow control

Pablo Buiras

Licentiate thesis

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 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 in 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 LNCS, p. 116-122

Paper in 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 LNCS, p. 718-735

Paper in 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

Journal article

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 proceeding

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.

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.