Pablo Buiras

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