diff --git a/index.html b/index.html
index f3ff6d0..85a6b1d 100644
--- a/index.html
+++ b/index.html
@@ -61,7 +61,7 @@
                             <a class="nav-link waves-effect" href="javascript:page_selection('#projects');" data-i18n="menu.projects"></a>
                         </li-->
                     </ul>
-                    
+
                     <!-- Right -->
                     <ul class="navbar-nav nav-flex-icons">
                         <a id="ukflag" href="javascript:i18next.changeLanguage('en');">
@@ -90,7 +90,7 @@
             <section class="section pb-3 text-center">
             <!--Grid row-->
             <div class="row wow fadeIn mb-3">
-			
+
                 <!--Grid column-->
                 <div class="col-lg-4 col-md-3 mb-4 vcenter">
 
@@ -99,9 +99,9 @@
 
                       <!-- Card image -->
                       <div class="view view-cascade overlay">
-              
+
                         <img class="card-img-top rounded-circle mt-4 pr-5 pl-5" src="assets/me.jpg" alt="Card image cap">
-     
+
                         <a>
                           <div class="mask rgba-white-slight"></div>
                         </a>
@@ -157,14 +157,14 @@
                     <!-- Card image -->
                 </div>
                 <!--Grid column-->
-                
+
                 <!--Grid column-->
 				<div class="col-lg-7 col-md-9 vcenter">
 					<span class="align-middle">
-                    <p class="pb-4 text-justify" data-i18n="[html]about.p1"></p>     
+                    <p class="pb-4 text-justify" data-i18n="[html]about.p1"></p>
                     <p class="pb-4 text-justify"  data-i18n="[html]about.p2"></p>
-                    <p class="pb-4 text-justify"  data-i18n="[html]about.p3"> </p>     
-                    </span>                   
+                    <p class="pb-4 text-justify"  data-i18n="[html]about.p3"> </p>
+                    </span>
                 </div>
                 <!--Grid column-->
 
@@ -174,7 +174,7 @@
 
         </div>
         <!--About container-->
-        
+
         <!-- Experiences container-->
         <div class="container" id="experiences" style="display:none;">
             <!--Grid row-->
@@ -207,7 +207,7 @@
                         <span class="pl-3" data-i18n="experiences.engie.exp2"></span><br>
                         <span class="pl-3" data-i18n="experiences.engie.exp3"></span><br>
                         <span class="pl-3" data-i18n="experiences.engie.exp4"></span>
-                    </p>       
+                    </p>
                     <p class="mb-3 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong data-i18n="experiences.freescale.title"></strong><br>
                         <span class="pl-3 font-small" data-i18n="[html]experiences.freescale.location"></span><br>
@@ -219,7 +219,7 @@
                         <span class="pl-3 font-small" data-i18n="[html]experiences.panacee.location"></span><br>
                         <span class="pl-3" data-i18n="experiences.panacee.exp1"></span><br>
                         <span class="pl-3" data-i18n="experiences.panacee.exp2"></span>
-                    </p>                          
+                    </p>
                 </div>
                 <!--Grid column-->
             </div>
@@ -239,11 +239,11 @@
                     <p class="mb-3 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong data-i18n="training.phd.title"></strong><br>
                         <span class="pl-3 font-small" data-i18n="[html]training.phd.location"></span>
-                    </p>       
+                    </p>
                     <p class="mb-3 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong data-i18n="training.ice.title"></strong><br>
                         <span class="pl-3 font-small" data-i18n="[html]training.ice.location"></span>
-                    </p>       
+                    </p>
                     <p class="mb-3 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong data-i18n="training.l3.title"></strong><br>
                         <span class="pl-3 font-small" data-i18n="[html]training.l3.location"></span>
@@ -251,11 +251,11 @@
                     <p class="mb-3 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong data-i18n="training.iut.title"></strong><br>
                         <span class="pl-3 font-small" data-i18n="[html]training.iut.location"></span>
-                    </p> 
+                    </p>
                     <p class="mb-3 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong data-i18n="training.bac.title"></strong><br>
                         <span class="pl-3 font-small" data-i18n="[html]training.bac.location"></span>
-                    </p>                                    
+                    </p>
                 </div>
                 <!--Grid column-->
             </div>
@@ -274,13 +274,17 @@
                         <strong data-i18n="publications.journal"></strong>
                     </h3>
                     <p class="mb-2 text-justify">
-                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.sysarc.2021.102073 ">Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support</a>.<br>  
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.jss.2024.112219">A model-driven formal methods approach to software architectural security vulnerabilities specification and verification</a>.<br>
                         <span class="pl-3"></span>Journal of Systems Architecture (JSA), 2021.
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify">
-                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.future.2020.02.033">Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture</a>.<br> 
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.sysarc.2021.102073">Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support</a>.<br>
+                        <span class="pl-3"></span>Journal of Systems Architecture (JSA), 2021.
+                    </p>
+                    <p class="mb-2 text-justify">
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1016/j.future.2020.02.033">Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture</a>.<br>
                         <span class="pl-3"></span>Future Generation Computer Systems (FGCS), 2020.
-                    </p>     
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -295,15 +299,23 @@
                         <strong data-i18n="publications.conference"></strong>
                     </h3>
                     <p class="mb-2 text-justify">
-                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <span class="text-primary" href="#">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model (In Press)</span>.<br> 
-			            <span class="pl-3">23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS) , Chiang Mai, Thailand, 2023.</span>
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. <span class="text-primary" href="#">Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy (accepted)</span>.<br>
+			            <span class="pl-3">17th International Symposium on Foundations & Practice of Security (QRS), Montreal, Canada, 2024.</span>
                     </p>
                     <p class="mb-2 text-justify">
-                        <i class="fas fa-angle-right mr-2"></i>James Baak, <strong>Quentin Rouland</strong>, Jason Jaskolka. <span class="text-primary" href="#">A Formal Metamodel with Composite Components (In Press)</span>.<br> 
-			            <span class="pl-3">12th International Conference on Model and Data Engineering (MEDI),  Sousse, Tunisia, 2023.</span>
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Kamel Adi, Omer Nguena Timo, Luigi Logrippo. <span class="text-primary" href="#">Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy (accepted)</span>.<br>
+			            <span class="pl-3">19th International Conference on Risks and Security of Internet and Systems (CRiSIS), Aix-En-Provence, France, 2024.</span>
                     </p>
                     <p class="mb-2 text-justify">
-                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1109/REW57809.2023.00045">Eliciting a Security Architecture Requirements Baseline from Standards and Regulations</a>.<br> 
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1109/QRS-C60940.2023.00054">A Security Compliance-by-Design Framework Utilizing Reusable Formal Model</a>.<br>
+			            <span class="pl-3">23rd IEE International Conference on Software Quality, Reliability, and Security Companion (QRS), Chiang Mai, Thailand, 2023.</span>
+                    </p>
+                    <p class="mb-2 text-justify">
+                        <i class="fas fa-angle-right mr-2"></i>James Baak, <strong>Quentin Rouland</strong>, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1007/978-3-031-49333-1_2">A Formal Metamodel for Software Architectures with Composite Components.</a>.<br>
+			            <span class="pl-3">12th International Conference on Model and Data Engineering (MEDI), Sousse, Tunisia, 2023.</span>
+                    </p>
+                    <p class="mb-2 text-justify">
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Stojanche Gjorcheski, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1109/REW57809.2023.00045">Eliciting a Security Architecture Requirements Baseline from Standards and Regulations</a>.<br>
                         <span class="pl-3">10th IEEE International Workshop on Evolving Security & Privacy Requirements Engineering (ESPRE), Hannover, Germany, 2023.</span>
                     </p>
                     <p class="mb-2 text-justify">
@@ -323,9 +335,9 @@
                         <span class="pl-3">24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019.</span>
                     </p>
                     <p class="mb-2 text-justify">
-                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1007/978-3-030-00856-7_13">Formalizing Reusable Communication Models for Distributed Systems Architecture</a>.<br> 
+                        <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>, Brahim Hamid, Jason Jaskolka. <a class="text-primary" href="https://doi.org/10.1007/978-3-030-00856-7_13">Formalizing Reusable Communication Models for Distributed Systems Architecture</a>.<br>
                         <span class="pl-3">8th International Conference on Model and Data Engineering (MEDI), Marrakesh, Morocco, 2018.</span>
-                    </p>                
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -343,7 +355,7 @@
                    <p class="mb-2 text-justify">
                         <i class="fas fa-angle-right mr-2"></i><strong>Quentin Rouland</strong>. <a class="text-primary" href="/assets/Manuscript.pdf">Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support</a>.<br>
                         <span class="pl-3">PhD Thesis, Université Toulouse 3 Paul Sabatier, 2021.</span>
-                    </p>             
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -364,13 +376,13 @@
                     </h3>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Architecture orientée service</strong> - Master 2 (8h Cours)
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Ouverture à la recherche, veille</strong> - Master 2 (2h Cours)
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Modélisation et conception objet</strong> - Master 1 (16h TD/TP)
-                    </p>       
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Conception et développement orientés objets</strong> - Licence 3 (10h TD/TP, 12h Projet)
                     </p>
@@ -379,13 +391,13 @@
                     </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Projet S3</strong> - Licence 2 (12h Projet)
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Pix</strong> - Licence 2 (48h TD/TP)
-                    </p>  
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Algorithmique et Programmation</strong> - Licence 1 (17h Cours, 31h TD/TP)
-                    </p>     
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Algorithmique S1</strong> - Licence 1 (28h TD/TP)
                     </p>
@@ -394,10 +406,10 @@
                     </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Projet S2</strong> - Licence 1 (12h Projet)
-                    </p>   
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Théorie de l’information</strong> - Licence 1 (12h TD/TP)
-                    </p>                                 
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -411,16 +423,16 @@
                     </h3>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Modélisation et conception objet</strong> - Master 1 (16h TP)
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Génie logiciel</strong> - Licence 3 (20h TP)
-                    </p>       
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Algo</strong> - Licence 1 (28h TP)
                     </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Projet S2</strong> - Licence 1 (12h Projet)
-                    </p>                            
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -436,19 +448,19 @@
                     </h3>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Modélisation et conception objet</strong> - Master 1 (16h TP)
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Génie logiciel</strong> - Licence 3 (20h TP)
-                    </p>       
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Algo</strong> - Licence 1 (28h TP)
                     </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Projet S2</strong> - Licence 1 (12h Projet)
-                    </p>   
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Théorie de l'information</strong> - Licence 1 (12h TP)
-                    </p>                    
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -464,19 +476,19 @@
                     </h3>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Modélisation et conception objet</strong> - Master 1 (16h TP)
-                    </p> 
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Génie logiciel</strong> - Licence 3 (20h TP)
-                    </p>       
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                          <strong>Projet S3</strong> - Licence 2 (11h Projet)
                     </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Projet S2</strong> - Licence 1 (12h Projet)
-                    </p>   
+                    </p>
                     <p class="mb-2 text-justify"><i class="fas fa-angle-right mr-2"></i>
                         <strong>Théorie de l'information</strong> - Licence 1 (12h TP)
-                    </p>                        
+                    </p>
                 </div>
                 <!--Grid column-->
 
@@ -581,7 +593,7 @@
         // Animations initialization
         new WOW().init();
     </script>
-    
+
 </body>
 
 </html>
diff --git a/js/translate.js b/js/translate.js
index ceb06be..d45dd22 100644
--- a/js/translate.js
+++ b/js/translate.js
@@ -17,8 +17,8 @@ i18next.use(i18nextBrowserLanguageDetector).init(
             p1:
               "After following training courses focused on software development at the <a href='https://www.univ-tlse2.fr/home/' class='text-primary'>University of Toulouse 2 Jean-Jaurès</a> " +
               "and obtained a <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>" +
-              "sandwich course master's degree in Collaborative Computer Science</a>. Then, completed a PhD in Computer Science at <a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a> " +
-              ". I was a  Postdoctoral Researcher at <a href='https://carleton.ca/'>Carleton University</a>, and then " +
+              "sandwich course master's degree in Collaborative Computer Science</a>. Then, completed a PhD in Computer Science at <a href='https://www.univ-tlse3.fr/'>University Toulouse 3 Paul Sabatier</a>." +
+              "Finally, I was a  Postdoctoral Researcher at <a href='https://carleton.ca/'>Carleton University</a>, and then " +
               "at <a href='https://uqo.ca/'>Université du Québec en Outaouais</a>.",
             p2:
               "My main research topics concern the <a href='https://en.wikipedia.org/wiki/Software_architecture'>software architecture</a>, " +
@@ -144,7 +144,7 @@ i18next.use(i18nextBrowserLanguageDetector).init(
               "et obtenu un <a href='https://www.univ-tlse2.fr/accueil/navigation/formation-insertion/formation-continue/master-informatique-collaborative-en-entreprise-ice-1e-et-2e-annee-444876.kjsp'>" +
               "Master en Informatique Collaborative en Entreprise</a> en alternance. Puis réaliser un doctorat en Informatique à l'<a href='https://www.univ-tlse3.fr/'>Université Toulouse 3 Paul Sabatier</a> " +
               "au sein du laboratoire de recherche de l'<a href='https://irit.fr' class='text-primary'>IRIT</a>. " +
-              "J'ai été chercheur postdoctoral à l'<a href='https://carleton.ca/'>Université Carleton</a> " +
+              "Finalement, J'ai été chercheur postdoctoral à l'<a href='https://carleton.ca/'>Université Carleton</a> " +
               "puis à l'<a href='https://uqo.ca/'>Université du Québec en Outaouais</a>.",
             p2:
               "Mes principaux sujets de recherches concernent les <a href='https://fr.wikipedia.org/wiki/Architecture_logicielle'>architectures logicielles</a>, " +