This paper introduces Nimble, a cloud service that helps applications running in trusted
execution environments (TEEs) to detect rollback attacks (ie, detect whether a data item …

Confidentiality, integrity protection, and high availability, abbreviated to CIA, are essential
properties for trustworthy data systems. The rise of cloud computing and the growing …

Public cloud platforms have employed Trusted Execution Environment (TEE) technology to
provide confidential computing services. However, applications running on cloud TEEs are …

As the global data strategy deepens and data elements accelerate integrating and flowing
more rapidly, the demand for data security and privacy protection has become increasingly …

Blockchain, as an enabler of the current Internet infrastructure, has introduced a plethora of
unique features, revolutionizing distributed systems and propelling us into a new era. Its …

The traditional centralized power trading model suffers from high maintenance costs, low
processing efficiency and unsynchronized information, and it cannot adapt to the high …

Federated Learning and Analytics (FLA) have seen widespread adoption by technology
platforms for processing sensitive on-device data. However, basic FLA systems have privacy …

This paper introduces Nimble, a cloud service that helps applications running in trusted
execution environments (TEEs) to detect rollback attacks (ie, detect whether a data item …

End-to-end encrypted messaging applications ensure that an attacker cannot read a user's
message history without their decryption keys. While end-to-end encryption provides strong …

Formal verification of distributed protocols is challenging and usually requires great human
effort. Ivy, a state-of-the-art formal verification tool for modeling and verifying distributed …