The SEALD Model | UCSB Computer Science

Report ID

2020-01

Report Authors

B. Hardekopf, D. Agrawal, T. Bultan, Y. Ding, A. El Abbadi, Y. Feng, C. Krintz, T. Sherwood, and R. Wolski

Report Date

2020-03-01

Abstract

In this paper, we define the SEALD system properties for IoT systems and describe the preliminary semantics of the SEALD model.

Document