| 2024 | AsiaCCS | Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. | Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati |
| 2021 | MICRO | Validation of Side-Channel Models via Observation Refinement. | Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale |
| 2020 | CAV | Validation of Abstract Side-Channel Models for Computer Architectures. | Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs |
| 2017 | CCS | Cryptographically Secure Information Flow Control on Key-Value Stores. | Lucas Waye, Pablo Buiras, Owen Arden, Alejandro Russo, Stephen Chong |
| 2016 | ESORICS | Flexible Manipulation of Labeled Values for Information-Flow Control Libraries. | Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo |
| 2016 | HASKELL | QuickFuzz: an automatic random fuzzer for common file formats. | Gustavo Grieco, Martn Ceresa, Pablo Buiras |
| 2016 | HASKELL | The Key monad: type-safe unconstrained dynamic typing. | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
| 2015 | ECOOP | Dynamic Enforcement of Dynamic Policies. | Pablo Buiras, Bart van Delft |
| 2015 | ICFP | HLIO: mixing static and dynamic typing for information-flow control in Haskell. | Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo |
| 2013 | ESORICS | Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. | Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazires |
| 2012 | ICFP | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2010 | FLOPS | A Functional Framework for Result Checking. | Gilles Barthe, Pablo Buiras, Csar Kunz |