Search Results - Farinier, Benjamin

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Introducing robust reachability

    Introducing robust reachability by Girol, Guillaume, Farinier, Benjamin, Bardin, Sébastien

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

    WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms by Veronese, Lorenzo, Farinier, Benjamin, Bernardo, Pedro, Tempesta, Mauro, Squarcina, Marco, Maffei, Matteo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms

    WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms by Veronese, Lorenzo, Farinier, Benjamin, Bernardo, Pedro, Tempesta, Mauro, Squarcina, Marco, Maffei, Matteo

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Model Generation for Quantified Formulas: A Taint-Based Approach

    Model Generation for Quantified Formulas: A Taint-Based Approach by Farinier, Benjamin, Bardin, Sébastien, Bonichon, Richard, Potet, Marie-Laure

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: