E-LIB Suche - Ergebnisse für: Farinier, Benjamin - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

WebSpec: Towards Machine-Checked Analysis of Browser Securi..:

, In: 2023 IEEE Symposium on Security and Privacy (SP),

Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro... - p. 2761-2779 , 2023

Link: https://doi.org/10.1109/..

2

Introducing robust reachability:

Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien
Formal Methods in System Design. , 2022

Link: https://doi.org/10.1007/..

3

Not All Bugs Are Created Equal, But Robust Reachability Can..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien - p. 669-693 , 2021

Link: https://doi.org/10.1007/..

4

Model Generation for Quantified Formulas: A Taint-Based App..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Farinier, Benjamin ; Bardin, Sébastien ; Bonichon, Richard. - p. 294-313 , 2018

Link: https://doi.org/10.1007/..

5

WebSpec: Towards Machine-Checked Analysis of Browser Securi..:

Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro...
info:eu-repo/semantics/altIdentifier/doi/10.1109/SP46215.2023.10179465. , 2023

Link: https://inria.hal.scienc..

6

WebSpec: Towards Machine-Checked Analysis of Browser Securi..:

Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro...
info:eu-repo/semantics/altIdentifier/doi/10.1109/SP46215.2023.10179465. , 2023

Link: https://inria.hal.scienc..

7

WebSpec: Towards Machine-Checked Analysis of Browser Securi..:

Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro...
info:eu-repo/semantics/altIdentifier/doi/10.1109/SP46215.2023.10179465. , 2023

Link: https://inria.hal.scienc..

8

WebSpec: Towards Machine-Checked Analysis of Browser Securi..:

Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro...
http://arxiv.org/abs/2201.01649. , 2022

Link: http://arxiv.org/abs/220..

9

Decision procedures for vulnerability analysis ; Procédures..:

Farinier, Benjamin
NNT: 2020GRALM013. , 2020

Link: https://theses.hal.scien..

10

Procédures de décision pour l'analyse de vulnérabilités ; D..:

Farinier, Benjamin
http://www.theses.fr/2020GRALM013/document. , 2020

Link: http://www.theses.fr/202..

11

Decision procedures for vulnerability analysis ; Procédures..:

Farinier, Benjamin
NNT: 2020GRALM013. , 2020

Link: https://tel.archives-ouv..

12

Model Generation for Quantified Formulas: A Taint-Based App..:

Farinier, Benjamin ; Bardin, Sébastien ; Bonichon, Richard.
http://arxiv.org/abs/1802.05616. , 2018

Link: http://arxiv.org/abs/180..

13

Model Generation for Quantified Formulas: A Taint-Based App..:

Farinier, Benjamin ; Bardin, Sébastien ; Bonichon, Richard.
info:eu-repo/semantics/altIdentifier/arxiv/1802.05616. , 2018

Link: https://hal-cea.archives..

14

Model Generation for Quantified Formulas: A Taint-Based App..:

Farinier, Benjamin ; Bardin, Sébastien ; Bonichon, Richard.
info:eu-repo/semantics/altIdentifier/arxiv/1802.05616. , 2018

Link: https://cea.hal.science/..

15

Model Generation for Quantified Formulas: A Taint-Based App..:

Farinier, Benjamin ; Bardin, Sébastien ; Bonichon, Richard.
info:eu-repo/semantics/altIdentifier/arxiv/1802.05616. , 2018

Link: https://hal-cea.archives..

1-15