A Functional Framework for Result Checking. - Gilles Barthe; Pablo Buiras; César Kunz (FLOPS, 2010)

Lower Bounds for Scalars in a Typed Algebraic λ-calculus - Pablo Buiras; Alejandro Díaz-Caro; Mauro Jaskelioff (LSFA, 2011)

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 (ICFP, 2012)

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 (ESORICS, 2013)

Lazy Programs Leak Secrets. - Pablo Buiras; Alejandro Russo (NordSec, 2013)

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. - Pablo Buiras; Amit Levy; Deian Stefan; Alejandro Russo; David Mazières (TGC, 2013)

On Dynamic Flow-Sensitive Floating-Label Systems. - Pablo Buiras; Deian Stefan; Alejandro Russo (CSF, 2014)

Dynamic Enforcement of Dynamic Policies. - Pablo Buiras; Bart van Delft (PLAS@ECOOP, 2015)

HLIO: mixing static and dynamic typing for information-flow control in Haskell. - Pablo Buiras; Dimitrios Vytiniotis; Alejandro Russo (ICFP, 2015)

It's My Privilege: Controlling Downgrading in DC-Labels. - Lucas Waye; Pablo Buiras; Dan King; Stephen Chong; Alejandro Russo (STM, 2015)

Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. - Marco Vassena; Pablo Buiras; Lucas Waye; Alejandro Russo (ESORICS (1), 2016)

QuickFuzz: an automatic random fuzzer for common file formats. - Gustavo Grieco; Martín Ceresa; Pablo Buiras (Haskell, 2016)

The Key monad: type-safe unconstrained dynamic typing. - Atze van der Ploeg; Koen Claessen; Pablo Buiras (Haskell, 2016)

Securing functional programs with floating-label information-flow control. - Pablo Buiras (2016)

Cryptographically Secure Information Flow Control on Key-Value Stores. - Lucas Waye; Pablo Buiras; Owen Arden; Alejandro Russo; Stephen Chong (CCS, 2017)

QuickFuzz testing for fun and profit. - Gustavo Grieco; Martín Ceresa; Agustín Mista; Pablo Buiras (J. Syst. Softw., 2017)

Validation of Abstract Side-Channel Models for Computer Architectures. - Hamed Nemati; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Swen Jacobs (CAV (1), 2020)

Speculative Leakage in ARM Cortex-A53. - Hamed Nemati; Roberto Guanciale; Pablo Buiras; Andreas Lindner (CoRR, 2020)

Validation of Side-Channel Models via Observation Refinement. - Pablo Buiras; Hamed Nemati; Andreas Lindner; Roberto Guanciale (MICRO, 2021)

A Case Study in Information Flow Refinement for Low Level Systems. - Roberto Guanciale; Christoph Baumann; Pablo Buiras; Mads Dam; Hamed Nemati (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. - Tiziano Marinaro; Pablo Buiras; Andreas Lindner; Roberto Guanciale; Hamed Nemati (AsiaCCS, 2024)