scholarly journals Building a Secure Scheme for a Trusted Hardware Sharing Environment

IEEE Access ◽  
2017 ◽  
Vol 5 ◽  
pp. 20260-20271 ◽  
Author(s):  
Di Lu ◽  
Jianfeng Ma ◽  
Cong Sun ◽  
Qixuan Wu ◽  
Zhaochang Sun ◽  
...  
Keyword(s):  
Trusted Hardware ◽  
Hardware Sharing

Implementing an untrusted operating system on trusted hardware

2003 ◽  
Vol 37 (5) ◽  
pp. 178-192 ◽  
Author(s):  
David Lie ◽  
Chandramohan A. Thekkath ◽  
Mark Horowitz
Keyword(s):  
Operating System ◽  
Trusted Hardware

An area efficient hardware sharing filter generator suitable for multiple video format conversions

1997 ◽  
Vol 43 (3) ◽  
pp. 848-854 ◽  
Author(s):  
S. Sugawa ◽  
H. Shimamoto ◽  
S. Hosotani ◽  
Y. Imamura ◽  
T. Takagaki ◽  
...  
Keyword(s):  
Video Format ◽  
Hardware Sharing ◽  
Area Efficient

Succinct Scriptable NIZK via Trusted Hardware

2021 ◽  
pp. 430-451
Author(s):  
Bingsheng Zhang ◽  
Yuan Chen ◽  
Jiaqi Li ◽  
Yajin Zhou ◽  
Phuc Thai ◽  
...  
Keyword(s):  
Trusted Hardware

scholarly journals Cryptography with Disposable Backdoors

Cryptography ◽  
2019 ◽  
Vol 3 (3) ◽  
pp. 22
Author(s):  
Kai-Min Chung ◽  
Marios Georgiou ◽  
Ching-Yi Lai ◽  
Vassilis Zikas
Keyword(s):  
Quantum Computation ◽  
Good Reason ◽  
Message Authentication ◽  
Public Key Encryption ◽  
Authentication Codes ◽  
Digital World ◽  
Trusted Hardware ◽  
Single Use ◽  
Generic Transformation ◽  
Provably Secure

Backdooring cryptographic algorithms is an indisputable taboo in the cryptographic literature for a good reason: however noble the intentions, backdoors might fall in the wrong hands, in which case security is completely compromised. Nonetheless, more and more legislative pressure is being produced to enforce the use of such backdoors. In this work we introduce the concept of disposable cryptographic backdoors which can be used only once and become useless after that. These exotic primitives are impossible in the classical digital world without stateful and secure trusted hardware support, but, as we show, are feasible assuming quantum computation and access to classical stateless hardware tokens. Concretely, we construct a disposable (single-use) version of message authentication codes, and use them to derive a black-box construction of stateful hardware tokens in the above setting with quantum computation and classical stateless hardware tokens. This can be viewed as a generic transformation from stateful to stateless tokens and enables, among other things, one-time programs and memories. This is to our knowledge the first provably secure construction of such primitives from stateless tokens. As an application of disposable cryptographic backdoors we use our constructed primitive above to propose a middle-ground solution to the recent legislative push to backdoor cryptography: the conflict between Apple and FBI. We show that it is possible for Apple to create a one-time backdoor which unlocks any single device, and not even Apple can use it to unlock more than one, i.e., the backdoor becomes useless after it is used. We further describe how to use our ideas to derive a version of CCA-secure public key encryption, which is accompanied with a disposable (i.e., single-use, as in the above scenario) backdoor.

scholarly journals Boolean Searchable Symmetric Encryption with Filters on Trusted Hardware

2020 ◽  
pp. 1-1
Author(s):  
Bernardo Ferreira ◽  
Bernardo Portela ◽  
Tiago Oliveira ◽  
Guilherme Borges ◽  
Henrique Joao Domingos ◽  
...  
Keyword(s):  
Symmetric Encryption ◽  
Searchable Symmetric Encryption ◽  
Trusted Hardware
Sign in / Sign up

Export Citation Format

Share Document