Treffer 1 - 4 von 4 für Suche 'Carmer, Brent', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Linicrypt: A Model for Practical Cryptography

    Linicrypt: A Model for Practical Cryptography von Carmer, Brent, Rosulek, Mike


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A type system for extracting functional specifications from memory-safe imperative programs

    A type system for extracting functional specifications from memory-safe imperative programs von He, Paul, Westbrook, Eddy, Carmer, Brent, Phifer, Chris, Robert, Valentin, Smeltzer, Karl, Ştefănescu, Andrei, Tomb, Aaron, Wick, Adam, Yacavone, Matthew, Zdancewic, Steve


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis

    Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis von Gascón, Adrià, Tiwari, Ashish, Carmer, Brent, Mathur, Umang


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Public-Key Function-Private Hidden Vector Encryption (and More)

    Public-Key Function-Private Hidden Vector Encryption (and More) von Bartusek, James, Carmer, Brent, Jain, Abhishek, Jin, Zhengzhong, Lepoint, Tancrède, Ma, Fermi, Malkin, Tal, Malozemoff, Alex J., Raykova, Mariana


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: