You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@teaclave.apache.org by ms...@apache.org on 2021/04/13 05:31:30 UTC

[incubator-teaclave-website] branch master updated: Add summary of meetup #3

This is an automated email from the ASF dual-hosted git repository.

mssun pushed a commit to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-teaclave-website.git


The following commit(s) were added to refs/heads/master by this push:
     new b4eb475  Add summary of meetup #3
b4eb475 is described below

commit b4eb475b7acfa24ab577d645d9e523cc8aa67a65
Author: Mingshen Sun <bo...@mssun.me>
AuthorDate: Mon Apr 12 22:31:17 2021 -0700

    Add summary of meetup #3
---
 site/blog/2021-03-25-teaclave-meetup-3.md          |  57 +++++++++++++++++----
 .../public-cloud-attestation-services-summary.png  | Bin 0 -> 275716 bytes
 .../public-cloud-attestation-services-teaclave.png | Bin 0 -> 525556 bytes
 .../blog/img/public-cloud-attestation-services.png | Bin 0 -> 937212 bytes
 site/blog/img/teaclave-meetup-3-zoom.jpg           | Bin 0 -> 2320792 bytes
 5 files changed, 47 insertions(+), 10 deletions(-)

diff --git a/site/blog/2021-03-25-teaclave-meetup-3.md b/site/blog/2021-03-25-teaclave-meetup-3.md
index 68621b7..eda5539 100644
--- a/site/blog/2021-03-25-teaclave-meetup-3.md
+++ b/site/blog/2021-03-25-teaclave-meetup-3.md
@@ -1,22 +1,49 @@
 ---
-title: "[Scheduled] Teaclave Meetup #3 on 7pm-8pm, Mar 25 PT"
+title: "Teaclave Meetup #3"
 date: 2021-03-25
 author: Mingshen Sun
 ---
 
-We are going to have the third monthly Teaclave (virtual) meetup. The meetup in
-this month is scheduled on March 25, 2021 (PT):
+In March 25, we gathered in Zoom for the third monthly Teaclave meetup. In this
+meetup, we're glad to have two speakers talking about some initial progress of
+Teaclave verification and comparison of public cloud attestation services.
 
-- 19:00-20:00 on Thursday, March 25, 2021 (PT)
-
-You can find the corresponding date time in your timezone here: [https://time.is/compare/1900_25_Mar_2021_in_PT](https://time.is/compare/1900_25_Mar_2021_in_PT)
+![Teaclave Meetup #3](./img/teaclave-meetup-3-zoom.jpg)
 
 ## Schedule
 
-- Recent Updates on Teaclave, Mingshen Sun (15 m)
+- Recent Update of Teaclave, Mingshen (3m)
+- Teaclave Verification, Sean (15m)
 - Comparison of Public Cloud Attestation Services, Mengyuan Li (45 m)
 
-**Abstract**
+## Teaclave Verification
+
+In this session, Sean talked introduced the plan of Teaclave verification.
+The main ideas is to create formal descriptions, specifications, and proofs for
+some core components of Teaclave.
+
+The initial effort on this field is trying to formally describe the access
+control module in Teaclave. And then prove it with requirements defined in
+[Common Criteria for Information Technology Security Evaluation](https://www.commoncriteriaportal.org/files/ccfiles/CCPART2V3.1R5.pdf).
+The security objective of access control module is to prevent unauthorized users
+from accessing the critical data through tasks and functions. By achieving the
+security objective, the threats of runtime tasks and functions abuse are
+eliminated under the assumptions identified in security problem definition.
+With these objectives, we can find some corresponding requirements in Common
+Criteria, e.g., FIA_UAU.2 for user authentication before any action.
+
+The initial work has been accepted as a separate project in Teaclave.
+If you are interested in this topic, please see
+<https://github.com/apache/incubator-teaclave-verification> to learn more.
+
+## Comparison of Public Cloud Attestation Services
+
+Then, Mengyuan talked his recent research on attestation, especially, on public
+cloud attestation services.
+
+![Public Cloud Attestation Services](./img/public-cloud-attestation-services.png)
+
+Here the abstract of the talk:
 
 Confidential computing is an emerging security feature provided by more and more
 public cloud service providers (e.g., Amazon AWS, Microsoft Azure, and Google
@@ -36,6 +63,16 @@ attestation reports the customers can get. We then introduce Teaclave's current
 attestation design and discuss the attestation report standard Teaclave should
 follow.
 
-## Join?
+He also discussed the attestation design of Teaclave.
+
+![Public Cloud Attestation Services of Teaclave](./img/public-cloud-attestation-services-teaclave.png)
+
+In the end, he also summarized the roles in the attestation ecosystem and
+positions of services/products discussed in this talk.
+
+![Public Cloud Attestation Services Summary](./img/public-cloud-attestation-services-summary.png)
 
-RSVP for the Zoom link in [this thread](https://lists.apache.org/thread.html/r703f9605cca8cb25041ddc20cbaf4497591c540a6bfd31eab9d5cc14%40%3Cdev.teaclave.apache.org%3E).
+At last, thanks for attending this meetup. I'll continue to drive this meetup
+and make it a monthly activity for the community. If you want to speak in the
+next time, please post your proposed topic in the mailing list. I'll help you to
+schedule the time.
diff --git a/site/blog/img/public-cloud-attestation-services-summary.png b/site/blog/img/public-cloud-attestation-services-summary.png
new file mode 100644
index 0000000..1a6f8c5
Binary files /dev/null and b/site/blog/img/public-cloud-attestation-services-summary.png differ
diff --git a/site/blog/img/public-cloud-attestation-services-teaclave.png b/site/blog/img/public-cloud-attestation-services-teaclave.png
new file mode 100644
index 0000000..05b38bc
Binary files /dev/null and b/site/blog/img/public-cloud-attestation-services-teaclave.png differ
diff --git a/site/blog/img/public-cloud-attestation-services.png b/site/blog/img/public-cloud-attestation-services.png
new file mode 100644
index 0000000..9a82635
Binary files /dev/null and b/site/blog/img/public-cloud-attestation-services.png differ
diff --git a/site/blog/img/teaclave-meetup-3-zoom.jpg b/site/blog/img/teaclave-meetup-3-zoom.jpg
new file mode 100644
index 0000000..fdac43e
Binary files /dev/null and b/site/blog/img/teaclave-meetup-3-zoom.jpg differ

---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org