Treffer 1 - 9 von 9 für Suche 'DUVARNEY, Daniel C', Suchdauer: 0,54s Treffer weiter einschränken
  1. 1
    Model-carrying code: A practical approach for safe execution of untrusted applications

    Model-carrying code: A practical approach for safe execution of untrusted applications von SEKAR, R, VENKATAKRISHNAN, V. N, BASU, Samik, BHATKAR, Sandeep, DUVARNEY, Daniel C


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Provably Correct Runtime Enforcement of Non-interference Properties

    Provably Correct Runtime Enforcement of Non-interference Properties von Venkatakrishnan, V. N., Xu, Wei, DuVarney, Daniel C., Sekar, R.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    An efficient and backwards-compatible transformation to ensure memory safety of C programs

    An efficient and backwards-compatible transformation to ensure memory safety of C programs von Xu, Wei, DuVarney, Daniel C., Sekar, R.

    Veröffentlicht in Software engineering notes

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    C Wolf – A Toolset for Extracting Models from C Programs

    C Wolf – A Toolset for Extracting Models from C Programs von Du Varney, Daniel C., Purushothaman Iyer, S.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Experience report:the reactis validation tool

    Experience report:the reactis validation tool von Sims, Steve, Duvarney, Daniel C


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Experience report: the reactis validation tool

    Experience report: the reactis validation tool von Sims, Steve, DuVarney, Daniel C.

    Veröffentlicht in ACM SIGPLAN Notices

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Using predators to combat worms and viruses: a simulation-based study

    Using predators to combat worms and viruses: a simulation-based study von Gupta, A., DuVarney, D.C.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    An efficient and backwards-compatible transformation to ensure memory safety of C programs

    An efficient and backwards-compatible transformation to ensure memory safety of C programs von Xu, Wei, Duvarney, Daniel C, Sekar, R


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Specification-Based Approaches for Information Assurance

    Specification-Based Approaches for Information Assurance von DuVarney, Daniel C, Sekar, R

    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: