Update index.html

rdi-berkeley · May 28, 2024 · 54e08b6 · 54e08b6
1 parent 2851474
commit 54e08b6
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/index.html b/index.html
@@ -12,7 +12,7 @@
   <body>
   <nav class="navbar navbar-expand-lg bg-light">
     <div class="container">
-      <a class="navbar-brand" href="#">Research @ <img src="img/rdi-sm.png" height="30"></a>
+      <a class="navbar-brand" href="#">Research @ <img alt="RDI Logo" src="img/rdi-sm.png" height="30"></a>
       <button class="navbar-toggler" type="button" data-bs-toggle="collapse" data-bs-target="#navbarSupportedContent" aria-controls="navbarSupportedContent" aria-expanded="false" aria-label="Toggle navigation">
         <span class="navbar-toggler-icon"></span>
       </button>
@@ -78,15 +78,15 @@ <h1 class="mt-3">Towards Automated Security Analysis of Smart Contracts based on
       <h1><i>Contract Execution Representation Graphs</i></h1>
       <div class="row align-items-center mt-3">
         <div class="col-lg-6">
-            <img src="img/epg-graph-code.png" style="width: 80%;">      
+            <img alt="EPG Graph Code" src="img/epg-graph-code.png" style="width: 80%;">      
         </div>
         <!-- <div class="col-lg-6">
           <div>
             <img src="img/epg-graph-code.png" style="width: 100%;">      
           </div>
         </div> -->
         <div class="col-lg-6">
-          <img src="img/epg-graph-ctg.png" id="displayed-image" style="width: 60%;">
+          <img alt="EPG Graph CTG" src="img/epg-graph-ctg.png" id="displayed-image" style="width: 60%;">
         </div>
       </div>
 
@@ -139,7 +139,7 @@ <h1><i>Contract Execution Representation Graphs</i></h1>
       <h1><i>Execution Property Graph (EPG)</i></h1>
       <div class="row align-items-center mt-3">
         <div class="col-lg-6">
-          <img src="img/epg-graph-example.png" id="displayed-image" style="width: 100%;">
+          <img alt="EPG Graph Example" src="img/epg-graph-example.png" id="displayed-image" style="width: 100%;">
         </div>
         <div class="col-lg-6" style="text-align: left;">
           EPG is a comprehensive graph representation of smart contract executions, which is constructed by merging the three basic property graphs, CTG, DCFG, and DDG. It combines the dynamic execution information on EVM bytecode level, representing and formalizing contract executions as a graph. The left figure shows the partial EPG of a reentrancy attack transaction. 
@@ -151,7 +151,7 @@ <h1><i>Execution Property Graph (EPG)</i></h1>
       <div class="row align-items-center mt-3">
         <h1><i>Architecture of <span class="clue">Clue</span></i></h1>
         <div>
-          <img src="img/epg-overview.png" class="w-100 rounded">
+          <img alt="EPG Overview" src="img/epg-overview.png" class="w-100 rounded">
         </div>
         <center class="mt-3">
           <div style="width: 80%; text-align: left;">
@@ -167,7 +167,7 @@ <h1><i>Traversal Based Security Analysis</i></h1>
         <div class="col-lg-6" style="text-align: left;">
           The EPG provides extensive information about the contract executions involved in a transaction. The <i>Graph Traversal</i> refers to the process of visiting vertices of a graph in a specific manner. This process can involve simply visiting every vertex in a predetermined order, or using more sophisticated rules to navigate through the graph. It is a prevalent method for mining information in property graphs, automates the identification of contract attacks.         </div>
         <div class="col-lg-6">
-          <img src="img/reentrancy_traversal_2-1.png" id="displayed-image" style="width: 80%;">
+          <img alt="Reentrancy Traversal" src="img/reentrancy_traversal_2-1.png" id="displayed-image" style="width: 80%;">
         </div>
       </div>
     </div>