add: trust2 project and tracker

index.html

@@ -157,7 +157,7 @@ <h3>Current Research</h3>
       </ul>
       <hr noShade size=3.5>
       <a name="project"></a>
-      <h3>Projects</h3>
+      <h3>Projects</h3> I join the <a href="https://trust2proj.github.io/">TRust2</a> project currently, working on formal verification of Rust. The Solana verification is a part of TRust2: the Solana eBPF VM is a real-world Rust case study.
       <ul>
         <li class="item">
           <a>2025-01 to 2025-12: <b>End-to-end formal verification of Solana eBPF JIT Compiler</b> (<a href="https://github.com/shenghaoyuan/shenghaoyuan.github.io/blob/master/projects/solana_jit_rust_overview.png">Overivew</a>) [<a href="https://www.ccf.org.cn/Collaboration/Enterprise_Fund/News/hw/2024-10-31/832702.shtml">2024CCF-Huawei Populus Grove Fund: Formal Method Track (News in Chinese)</a>] </a>
@@ -177,7 +177,7 @@ <h3>Selected Publications [<a href="https://dblp.org/pid/264/2591.html">DBLP</a>
       <ul>
 
         <li style="margin-bottom: 10px;">
-          <a href="https://github.com/shenghaoyuan/shenghaoyuan.github.io/tree/master/publications">SETTA2024: Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness</a>
+          <a href="https://link.springer.com/chapter/10.1007/978-981-96-0602-3_11">SETTA2024: Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness</a>
           <br>Jiayi Lu, <b>Shenghao Yuan*</b>, David Sanan, Yongwang Zhao <br>
           In 10th Symposium on Dependable Software Engineering: Theories, Tools and Applications (CCF-C conf) [<a href="https://github.com/shenghaoyuan/shenghaoyuan.github.io/blob/master/publications/SETTA24.pdf">local copy</a>]
         </li> 
@@ -209,6 +209,11 @@ <h3>Selected Publications [<a href="https://dblp.org/pid/264/2591.html">DBLP</a>
       </ul>
     <hr noShade size=3.5>
     <a name="xxx"></a> Visitors: <span id="busuanzi_value_site_pv"></span>
+
+  <p align="center">
+  <a href="https://clustrmaps.com/site/1c34d" title="Visit tracker"><img src="//www.clustrmaps.com/map_v2.png?d=TTJIp2Z710NHOwDUNesA6uMqU3dX8kAJiL7b36c4rK0&cl=ffffff"></a>
+  </p>
+
   </body>
 </html>