Treffer 1 - 20 von 27 für Suche 'Buiras, Pablo', Suchdauer: 0,66s Treffer weiter einschränken
  1. 1
    QuickFuzz testing for fun and profit

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Confluence via strong normalisation in an algebraic λ-calculus with rewriting

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    MAC A verified static information-flow control library

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


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Case Study in Information Flow Refinement for Low Level Systems

    A Case Study in Information Flow Refinement for Low Level Systems von Guanciale, Roberto, Baumann, Christoph, Buiras, Pablo, Dam, Mads, Nemati, Hamed


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Validation of Abstract Side-Channel Models for Computer Architectures

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

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Lazy Programs Leak Secrets

    Lazy Programs Leak Secrets von Buiras, Pablo, Russo, Alejandro


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    It's My Privilege: Controlling Downgrading in DC-Labels

    It's My Privilege: Controlling Downgrading in DC-Labels von Waye, Lucas, Buiras, Pablo, King, Dan, Chong, Stephen, Russo, Alejandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

    A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems von Buiras, Pablo, Levy, Amit, Stefan, Deian, Russo, Alejandro, Mazières, David


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Dynamic enforcement of dynamic policies

    Dynamic enforcement of dynamic policies von Buiras, Pablo, van Delft, Bart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Flexible Manipulation of Labeled Values for Information-Flow Control Libraries

    Flexible Manipulation of Labeled Values for Information-Flow Control Libraries von Vassena, Marco, Buiras, Pablo, Waye, Lucas, Russo, Alejandro


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling

    Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling von Stefan, Deian, Buiras, Pablo, Yang, Edward Z., Levy, Amit, Terei, David, Russo, Alejandro, Mazières, David


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A functional framework for result checking

    A functional framework for result checking von Barthe, Gilles, Buiras, Pablo, Kunz, César

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Speculative Leakage in ARM Cortex-A53

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Validation of Abstract Side-Channel Models for Computer Architectures

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

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    QuickFuzz: an automatic random fuzzer for common file formats

    QuickFuzz: an automatic random fuzzer for common file formats von Grieco, Gustavo, Ceresa, Martín, Buiras, Pablo

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization

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

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings

    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings von Riis Nielsen, Hanne, Gollmann, Dieter

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    HLIO: mixing static and dynamic typing for information-flow control in Haskell

    HLIO: mixing static and dynamic typing for information-flow control in Haskell von Buiras, Pablo, Vytiniotis, Dimitrios, Russo, Alejandro

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Addressing covert termination and timing channels in concurrent information flow systems

    Addressing covert termination and timing channels in concurrent information flow systems von Stefan, Deian, Russo, Alejandro, Buiras, Pablo, Levy, Amit, Mitchell, John C., Maziéres, David

    Veröffentlicht in SIGPLAN notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: