Treffer 1 - 14 von 14 für Suche 'Hym, Samuel', Suchdauer: 0,79s Treffer weiter einschränken
  1. 1
    Formal proof of dynamic memory isolation based on MMU

    Formal proof of dynamic memory isolation based on MMU von Jomaa, Narjes, Nowak, David, Grimaud, Gilles, Hym, Samuel

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Mobility control via passports

    Mobility control via passports von Hym, Samuel

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Mobility control via passports: Structural Operational Semantics (SOS)

    Mobility control via passports: Structural Operational Semantics (SOS) von HYM, Samuel

    Veröffentlicht in Information and computation

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Summary-based inference of quantitative bounds of live heap objects

    Summary-based inference of quantitative bounds of live heap objects von Braberman, Víctor, Garbervetsky, Diego, Hym, Samuel, Yovine, Sergio

    Veröffentlicht in Science of computer programming

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Adding recursion to Dpi

    Adding recursion to Dpi von Hym, Samuel, Hennessy, Matthew

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Adding recursion to DPI: Structural operational semantics

    Adding recursion to DPI: Structural operational semantics von HYM, Samuel, HENNESSY, Matthew

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    On-device control flow verification for Java programs

    On-device control flow verification for Java programs von Fontaine, Arnaud, Hym, Samuel, Simplot-Ryl, Isabelle

    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Verifiable Control Flow Policies for Java Bytecode

    Verifiable Control Flow Policies for Java Bytecode von Fontaine, Arnaud, Hym, Samuel, Simplot-Ryl, Isabelle


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    On-Device Control Flow Verification for Java Programs

    On-Device Control Flow Verification for Java Programs von Fontaine, Arnaud, Hym, Samuel, Simplot-Ryl, Isabelle


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

    Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers von Barthe, Gilles, Datta, Anupam, Etalle, Sandro

    Volltext
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Adding Recursion to Dpi

    Adding Recursion to Dpi von Hym, Samuel, Hennessy, Matthew


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Mobility Control Via Passports: Extended Abstract

    Mobility Control Via Passports: Extended Abstract von Hym, Samuel


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Encapsulation and Dynamic Modularity in the π-calculus

    Encapsulation and Dynamic Modularity in the π-calculus von Hirschkoff, Daniel, Pardon, Aurélien, Hirschowitz, Tom, Hym, Samuel, Pous, Damien


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Encapsulation and Dynamic Modularity in the Pi-Calculus

    Encapsulation and Dynamic Modularity in the Pi-Calculus von Hirschkoff, Daniel, Pardon, Aurélien, Hirschowitz, Tom, Hym, Samuel, Pous, Damien

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: