Pablo Buiras

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 13

Top Venues

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. AsiaCCS (2024)
Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati
Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. CoRR (2023)
Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati
A Case Study in Information Flow Refinement for Low Level Systems. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale
Validation of Side-Channel Models via Observation Refinement. MICRO (2021)
Hamed Nemati, Roberto Guanciale, Pablo Buiras, Andreas Lindner
Speculative Leakage in ARM Cortex-A53. CoRR (2020)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
Validation of Abstract Side-Channel Models for Computer Architectures. CoRR (2020)
Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs
Validation of Abstract Side-Channel Models for Computer Architectures. CAV (1) (2020)
Gustavo Grieco, Martín Ceresa, Agustín Mista, Pablo Buiras
QuickFuzz testing for fun and profit. J. Syst. Softw. 134 (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CCS (2017)
Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong
Cryptographically Secure Information Flow Control on Key-Value Stores. CoRR (2017)
Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo
Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. ESORICS (1) (2016)
Atze van der Ploeg, Koen Claessen, Pablo Buiras
The Key monad: type-safe unconstrained dynamic typing. Haskell (2016)
Gustavo Grieco, Martín Ceresa, Pablo Buiras
QuickFuzz: an automatic random fuzzer for common file formats. Haskell (2016)
Pablo Buiras, Deian Stefan, Alejandro Russo
On Dynamic Flow-Sensitive Floating-Label Systems. CoRR (2015)
Lucas Waye, Pablo Buiras, Dan King, Stephen Chong, Alejandro Russo
It's My Privilege: Controlling Downgrading in DC-Labels. STM (2015)
Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
HLIO: mixing static and dynamic typing for information-flow control in Haskell. ICFP (2015)
Pablo Buiras, Bart van Delft
Dynamic Enforcement of Dynamic Policies. PLAS@ECOOP (2015)
Pablo Buiras, Deian Stefan, Alejandro Russo
On Dynamic Flow-Sensitive Floating-Label Systems. CSF (2014)
Pablo Buiras, Alejandro Russo
Lazy Programs Leak Secrets. NordSec (2013)
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS (2013)
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. TGC (2013)
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
Addressing covert termination and timing channels in concurrent information flow systems. ICFP (2012)
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
Lower Bounds for Scalars in a Typed Algebraic λ-calculus LSFA (2011)
Gilles Barthe, Pablo Buiras, César Kunz
A Functional Framework for Result Checking. FLOPS (2010)

Pablo Buiras.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pablo Buiras