Hasil Pencarian - Pierre-Yves Strub

  • Menampilkan 1 - 3 hasil dari 3
Perbaiki Hasil
  1. 1
    Formalizing the Face Lattice of Polyhedra

    Formalizing the Face Lattice of Polyhedra oleh Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub

    Diterbitkan 2022-05-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Relational $\star$-Liftings for Differential Privacy

    Relational $\star$-Liftings for Differential Privacy oleh Gilles Barthe, Thomas Espitau, Justin Hsu, Tetsuya Sato, Pierre-Yves Strub

    Diterbitkan 2019-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Formally verifying Kyber

    Formally verifying Kyber oleh José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub

    Diterbitkan 2023-06-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: