Pablo Buiras

According to our database, Pablo Buiras authored at least 21 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization.

Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati

CoRR, 2023

2022

A Case Study in Information Flow Refinement for Low Level Systems.

Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Validation of Side-Channel Models via Observation Refinement.

Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020

Speculative Leakage in ARM Cortex-A53.

Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner

CoRR, 2020

Validation of Abstract Side-Channel Models for Computer Architectures.

Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2017

QuickFuzz testing for fun and profit.

Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras

J. Syst. Softw., 2017

Cryptographically Secure Information Flow Control on Key-Value Stores.

Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Securing functional programs with floating-label information-flow control.

Pablo Buiras

PhD thesis, 2016

The Key monad: type-safe unconstrained dynamic typing.

Atze van der Ploeg, Koen Claessen, Pablo Buiras

Proceedings of the 9th International Symposium on Haskell, 2016

QuickFuzz: an automatic random fuzzer for common file formats.

Gustavo Grieco, Martín Ceresa, Pablo Buiras

Proceedings of the 9th International Symposium on Haskell, 2016

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries.

Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo

Proceedings of the Computer Security - ESORICS 2016, 2016

2015

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

Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo

Proceedings of the Security and Trust Management - 11th International Workshop, 2015

HLIO: mixing static and dynamic typing for information-flow control in Haskell.

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Dynamic Enforcement of Dynamic Policies.

Pablo Buiras, Bart van Delft

Proceedings of the 10th ACM Workshop on Programming Languages and Analysis for Security, 2015

2014

On Dynamic Flow-Sensitive Floating-Label Systems.

Pablo Buiras, Deian Stefan, Alejandro Russo

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

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

Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Lazy Programs Leak Secrets.

Pablo Buiras, Alejandro Russo

Proceedings of the Secure IT Systems - 18th Nordic Conference, 2013

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling.

Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières

Proceedings of the Computer Security - ESORICS 2013, 2013

2012

Addressing covert termination and timing channels in concurrent information flow systems.

Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Lower Bounds for Scalars in a Typed Algebraic λ-calculus

Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010

A Functional Framework for Result Checking.

Gilles Barthe, Pablo Buiras, César Kunz

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010