From a504c3f477f5e96a8c6d361c8038c61142b34618 Mon Sep 17 00:00:00 2001 From: lkuper Date: Thu, 29 Feb 2024 01:12:05 +0000 Subject: [PATCH] regenerate after: Merge branch 'main' of github.com:lsd-ucsc/lsd-ucsc.github.io --- index.xml | 8 ++++---- lsd-seminar/2024wi/index.html | 8 ++++---- themes/academic | 1 + 3 files changed, 9 insertions(+), 8 deletions(-) create mode 160000 themes/academic diff --git a/index.xml b/index.xml index 7ee43d0..4540027 100644 --- a/index.xml +++ b/index.xml @@ -132,7 +132,7 @@ <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> @@ -255,11 +255,11 @@ a focus on security properties.</p> <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/lsd-seminar/2024wi/index.html b/lsd-seminar/2024wi/index.html index dd8c401..f467d2a 100644 --- a/lsd-seminar/2024wi/index.html +++ b/lsd-seminar/2024wi/index.html @@ -271,7 +271,7 @@

Languages, Systems, and Data Seminar (Winter 2024)

March 8 Abhiroop Sarkar -TBD +HasTEE+ - Confidential Computing with Haskell @@ -394,11 +394,11 @@

March 8

Speaker: Abhiroop Sarkar

-

Title: TBD

+

Title: HasTEE+ - Confidential Computing with Haskell

-

Abstract: TBD

+

Abstract: 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+

-

Bio: TBD

+

Bio: 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.

March 15

diff --git a/themes/academic b/themes/academic new file mode 160000 index 0000000..8d596ff --- /dev/null +++ b/themes/academic @@ -0,0 +1 @@ +Subproject commit 8d596ffed2d080010c561679cf4e9b4da1554781