Concepedia

Pablo Buiras

PB

9

Publications

248

Citations

9

H-Index

2012

Active since

Affiliations

Chalmers University of Technology(Current)

Harvard University Press

Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas

Stanford University

Consejo Nacional de Investigaciones Científicas y Técnicas

Pablo Buiras is an author at Chalmers University of Technology specializing in computer science, software analysis, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisHardware SecurityFormal VerificationVerificationFormal MethodsData SecuritySystem Software

Publications per year

2012–2021

9

Publications

9

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

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo · 2015 · 62 citations

Runtime Checks, Engineering, Information Security +20

Addressing covert termination and timing channels in concurrent information flow systems

Deian Stefan, Alejandro Russo, Pablo Buiras et al. · 2012 · 60 citations

Engineering, Information Security, Information-flow Control +24

QuickFuzz: an automatic random fuzzer for common file formats

Gustavo Grieco, Martín Ceresa, Pablo Buiras · 2016 · 31 citations

Engineering, Most Fuzzers, Verification +18

QuickFuzz testing for fun and profit

Gustavo Grieco, Martín Ceresa, Agustín Mista et al. · Journal of Systems and Software · 2017 · 21 citations · Full text

Engineering, Program Analysis, Testing Technique +8

On Dynamic Flow-Sensitive Floating-Label Systems

Pablo Buiras, Deian Stefan, Alejandro Russo · 2014 · 18 citations · Full text

Engineering, Information Security, Information-flow Control +23

Rows per page

1–5 of 9