diff --git a/assets/Manuscript.pdf b/assets/Manuscript.pdf new file mode 100644 index 0000000..444c906 Binary files /dev/null and b/assets/Manuscript.pdf differ diff --git a/index.html b/index.html index 414ae88..5ab93e7 100644 --- a/index.html +++ b/index.html @@ -27,7 +27,7 @@
- + Quentin Rouland @@ -113,7 +113,7 @@

Quentin Rouland

-
+
@@ -136,9 +136,18 @@
-

. +

+ +

@@ -172,21 +181,17 @@

-

+



-

+



-
-



-
-


@@ -227,7 +232,7 @@


-

+


@@ -311,7 +316,11 @@

-

+ +

+ Quentin Rouland. Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support.
+ PhD Thesis, Université Toulouse 3 Paul Sabatier, 2021. +

@@ -323,6 +332,17 @@