Search Results - Buiras, Pablo

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    QuickFuzz testing for fun and profit

    QuickFuzz testing for fun and profit by Grieco, Gustavo, Ceresa, Martín, Mista, Agustín, Buiras, Pablo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Confluence via strong normalisation in an algebraic λ-calculus with rewriting

    Confluence via strong normalisation in an algebraic λ-calculus with rewriting by Buiras, Pablo, Díaz-Caro, Alejandro, Jaskelioff, Mauro

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    MAC A verified static information-flow control library

    MAC A verified static information-flow control library by Vassena, Marco, Russo, Alejandro, Buiras, Pablo, Waye, Lucas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell

    HLIO: Mixing Static and Dynamic Typing for Information-Flow Control in Haskell by Buiras, Pablo, Vytiniotis, Dimitrios, Russo, Alejandro

    Published in ACM SIGPLAN notices
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization

    Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization by Marinaro, Tiziano, Buiras, Pablo, Lindner, Andreas, Guanciale, Roberto, Nemati, Hamed

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Addressing covert termination and timing channels in concurrent information flow systems

    Addressing covert termination and timing channels in concurrent information flow systems by Stefan, D., Russo, Alejandro, Buiras, Pablo, Levy, Amit, Mitchell, J. C., Mazières, David

    Published in ACM SIGPLAN notices
    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Speculative Leakage in ARM Cortex-A53

    Speculative Leakage in ARM Cortex-A53 by Nemati, Hamed, Guanciale, Roberto, Buiras, Pablo, Lindner, Andreas

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Validation of Abstract Side-Channel Models for Computer Architectures

    Validation of Abstract Side-Channel Models for Computer Architectures by Nemati, Hamed, Buiras, Pablo, Lindner, Andreas, Guanciale, Roberto, Jacobs, Swen

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Cryptographically Secure Information Flow Control on Key-Value Stores

    Cryptographically Secure Information Flow Control on Key-Value Stores by Waye, Lucas, Buiras, Pablo, Owen, Arden, Russo, Alejandro, Chong, Stephen

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

    Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting by Buiras, Pablo, Díaz-Caro, Alejandro, Jaskelioff, Mauro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    On Dynamic Flow-Sensitive Floating-Label Systems

    On Dynamic Flow-Sensitive Floating-Label Systems by Buiras, Pablo, Deian Stefan, Russo, Alejandro

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: