Ekiden: A platform for confidentiality-preserving, trustworthy, and performant smart contracts
Smart contracts are applications that execute on blockchains. Today they manage billions of
dollars in value and motivate visionary plans for pervasive blockchain deployment. While …
dollars in value and motivate visionary plans for pervasive blockchain deployment. While …
Sgxpectre: Stealing intel secrets from sgx enclaves via speculative execution
Speculative execution side-channel vulnerabilities in micro-architecture processors have
raised concerns about the security of Intel SGX. To understand clearly the security impact of …
raised concerns about the security of Intel SGX. To understand clearly the security impact of …
Sectee: A software-based approach to secure enclave architecture using tee
Secure enclaves provide a practical solution to secure computation, and current approaches
to secure enclaves are implemented by extending hardware security mechanisms to the …
to secure enclaves are implemented by extending hardware security mechanisms to the …
Secure and private function evaluation with Intel SGX
Secure function evaluation (SFE) allows two parties to jointly evaluate a publicly known
function without revealing their respective inputs. SFE can be realized via well-known …
function without revealing their respective inputs. SFE can be realized via well-known …
A secure authentication scheme for wireless sensor networks based on DAC and Intel SGX
X Liu, Z Guo, J Ma, Y Song - IEEE Internet of Things Journal, 2021 - ieeexplore.ieee.org
Wireless sensor networks (WSNs) are widely implemented in military, intelligent medical,
intelligent transportation, space exploration, and other fields. However, the authentication …
intelligent transportation, space exploration, and other fields. However, the authentication …
Flare: A fast, secure, and memory-efficient distributed analytics framework
As big data processing in the cloud becomes prevalent today, data privacy on such public
platforms raises critical concerns. Hardware-based trusted execution environments (TEEs) …
platforms raises critical concerns. Hardware-based trusted execution environments (TEEs) …
Rupair: towards automatic buffer overflow detection and rectification for Rust
B Hua, W Ouyang, C Jiang, Q Fan, Z Pan - Proceedings of the 37th …, 2021 - dl.acm.org
Rust is an emerging programming language which aims to provide both safety guarantee
and runtime efficiency, and has been used extensively in system programming scenarios …
and runtime efficiency, and has been used extensively in system programming scenarios …
Krust: A formal executable semantics of rust
Rust is a new and promising high-level system programming language. It provides both
memory safety and thread safety through its novel mechanisms such as ownership, moves …
memory safety and thread safety through its novel mechanisms such as ownership, moves …
The random neural network as a bonding model for software vulnerability prediction
Software vulnerability prediction is an important and active area of research where new
methods are needed to build accurate and efficient tools that can identify security issues …
methods are needed to build accurate and efficient tools that can identify security issues …
Research progress of SGX application supporting techniques
董春涛， 沈晴霓， 罗武， 吴鹏飞， 吴中海 - Journal of Software, 2020 - jos.org.cn
安全与可信是云计算中极为重要的需求, 如何保护用户在云平台上托管的应用程序代码和数据的
安全, 防止云服务提供商和其他攻击者窃取用户机密数据, 一直是个难题. 2013 年, Intel …
安全, 防止云服务提供商和其他攻击者窃取用户机密数据, 一直是个难题. 2013 年, Intel …