regenerate after: Merge branch 'main' of github.com:lsd-ucsc/lsd-ucsc…

….github.io
lsd-ucsc · Feb 29, 2024 · a504c3f · a504c3f
1 parent f4ad9c8
commit a504c3f
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 8 deletions.
diff --git a/index.xml b/index.xml
@@ -132,7 +132,7 @@
 &lt;tr&gt;
 &lt;td&gt;&lt;a href=&#34;#march-8&#34;&gt;March 8&lt;/a&gt;&lt;/td&gt;
 &lt;td&gt;Abhiroop Sarkar&lt;/td&gt;
-&lt;td&gt;&lt;em&gt;TBD&lt;/em&gt;&lt;/td&gt;
+&lt;td&gt;HasTEE+ - Confidential Computing with Haskell&lt;/td&gt;
 &lt;/tr&gt;
 
 &lt;tr&gt;
@@ -255,11 +255,11 @@ a focus on security properties.&lt;/p&gt;
 
 &lt;p&gt;&lt;strong&gt;Speaker:&lt;/strong&gt; Abhiroop Sarkar&lt;/p&gt;
 
-&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+&lt;p&gt;&lt;strong&gt;Title:&lt;/strong&gt; HasTEE+ - Confidential Computing with Haskell&lt;/p&gt;
 
-&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+&lt;p&gt;&lt;strong&gt;Abstract:&lt;/strong&gt; This talk presents HasTEE+, a Domain-Specific Language in Haskell designed for seamless programming of Trusted Execution Environments (TEEs). HasTEE+ offers a high-level programming model that uses the Haskell-type system to compartmentalise confidential portions of a program within the TEE unit. It then allows the specification of Information Flow Control (IFC) policies and incorporates a dynamic mechanism for enforcing them. HasTEE+ also includes built-in support for remote attestation using the Intel RA-TLS protocol. The practicality of HasTEE+ was demonstrated through various practical case studies including a Federated Learning system and a Data Clean Room. I will conclude the talk by discussing potential research avenues for enhancing the security guarantees provided by HasTEE+&lt;/p&gt;
 
-&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; &lt;em&gt;TBD&lt;/em&gt;&lt;/p&gt;
+&lt;p&gt;&lt;strong&gt;Bio:&lt;/strong&gt; Abhiroop Sarkar is a final year PhD student at Chalmers University, Sweden. Defending his thesis at the end of March, his research involves improving systems security for both cloud and embedded environments using programming language techniques, particularly functional programming.&lt;/p&gt;
 
 &lt;h1 id=&#34;march-15&#34;&gt;March 15&lt;/h1&gt;
 

diff --git a/lsd-seminar/2024wi/index.html b/lsd-seminar/2024wi/index.html
@@ -271,7 +271,7 @@ <h1 itemprop="name">Languages, Systems, and Data Seminar (Winter 2024)</h1>
 <tr>
 <td><a href="#march-8">March 8</a></td>
 <td>Abhiroop Sarkar</td>
-<td><em>TBD</em></td>
+<td>HasTEE+ - Confidential Computing with Haskell</td>
 </tr>
 
 <tr>
@@ -394,11 +394,11 @@ <h1 id="march-8">March 8</h1>
 
 <p><strong>Speaker:</strong> Abhiroop Sarkar</p>
 
-<p><strong>Title:</strong> <em>TBD</em></p>
+<p><strong>Title:</strong> HasTEE+ - Confidential Computing with Haskell</p>
 
-<p><strong>Abstract:</strong> <em>TBD</em></p>
+<p><strong>Abstract:</strong> This talk presents HasTEE+, a Domain-Specific Language in Haskell designed for seamless programming of Trusted Execution Environments (TEEs). HasTEE+ offers a high-level programming model that uses the Haskell-type system to compartmentalise confidential portions of a program within the TEE unit. It then allows the specification of Information Flow Control (IFC) policies and incorporates a dynamic mechanism for enforcing them. HasTEE+ also includes built-in support for remote attestation using the Intel RA-TLS protocol. The practicality of HasTEE+ was demonstrated through various practical case studies including a Federated Learning system and a Data Clean Room. I will conclude the talk by discussing potential research avenues for enhancing the security guarantees provided by HasTEE+</p>
 
-<p><strong>Bio:</strong> <em>TBD</em></p>
+<p><strong>Bio:</strong> Abhiroop Sarkar is a final year PhD student at Chalmers University, Sweden. Defending his thesis at the end of March, his research involves improving systems security for both cloud and embedded environments using programming language techniques, particularly functional programming.</p>
 
 <h1 id="march-15">March 15</h1>
 

diff --git a/themes/academic b/themes/academic