Pablo Buiras

Identifiers

• name variant Pablo Buiras 0.60 · backfill

Papers (3)

1. Cryptographically Secure Information Flow Control on Key-Value Stores cs.CR · 2017 · author #2
2. On Dynamic Flow-Sensitive Floating-Label Systems cs.CR · 2015 · author #1
3. Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting cs.LO · 2011 · author #1

Mentions

• 1507.06189 #1 · backfill · confidence 0.70 Pablo Buiras
• 1102.0749 #1 · backfill · confidence 0.70 Pablo Buiras

Frequent Coauthors

• Alejandro Russo 2 shared papers
• Alejandro D\'iaz-Caro 1 shared papers
• Deian Stefan 1 shared papers
• Lucas Waye 1 shared papers
• Mauro Jaskelioff 1 shared papers
• Owen Arden 1 shared papers
• Stephen Chong 1 shared papers