Treffer 1 - 8 von 8 für Suche 'Vanspauwen, Gijs', Suchdauer: 0,36s Treffer weiter einschränken
  1. 1
    Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications

    Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications von Vanspauwen, Gijs, Jacobs, Bart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Verifying protocol implementations by augmenting existing cryptographic libraries with specifications

    Verifying protocol implementations by augmenting existing cryptographic libraries with specifications von Vanspauwen, Gijs, Jacobs, Bart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Sound symbolic linking in the presence of preprocessing

    Sound symbolic linking in the presence of preprocessing von Vanspauwen, Gijs, Jacobs, Bart


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Sound Symbolic Linking in the Presence of Preprocessing

    Sound Symbolic Linking in the Presence of Preprocessing von Vanspauwen, Gijs, Jacobs, Bart


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Verifying cryptographic protocol implementations that use industrial cryptographic APIs

    Verifying cryptographic protocol implementations that use industrial cryptographic APIs von Vanspauwen, Gijs, Jacobs, Bart

    Veröffentlicht in CW Reports
    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  6. 6
    VeriFast: Sound symbolic linking in the presence of preprocessing

    VeriFast: Sound symbolic linking in the presence of preprocessing von Vanspauwen, Gijs

    Veröffentlicht in CW Reports
    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Verifying cryptographic protocols: a symbolic model for cryptographic APIs for C

    Verifying cryptographic protocols: a symbolic model for cryptographic APIs for C von Vanspauwen, Gijs, Jacobs, Bart

    Volltext bestellen
    Text Resource

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Verifying cryptographic protocols. Applying the symbolic model to cryptographic APIs for C

    Verifying cryptographic protocols. Applying the symbolic model to cryptographic APIs for C von Vanspauwen, Gijs, Jacobs, Bart

    Veröffentlicht in CW Reports
    Volltext bestellen
    Report

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: