Gray-Box Software Integrity Checking via Side-Channels

2018 ◽  
pp. 3-23
Author(s):  
Hong Liu ◽  
Eugene Y. Vasserman
Keyword(s):  
Side Channels ◽  
Integrity Checking ◽  
Software Integrity

Software Integrity Checking Expressions (ICEs) for Robust Tamper Detection

2007 ◽  
pp. 96-111 ◽  
Author(s):  
Mariusz Jakubowski ◽  
Prasad Naldurg ◽  
Vijay Patankar ◽  
Ramarathnam Venkatesan
Keyword(s):  
Tamper Detection ◽  
Integrity Checking ◽  
Software Integrity

Hardware Information Flow Tracking

2021 ◽  
Vol 54 (4) ◽  
pp. 1-39
Author(s):  
Wei Hu ◽  
Armaiti Ardeshiricham ◽  
Ryan Kastner
Keyword(s):  
Access Control ◽  
Computer Security ◽  
Information Flow ◽  
Hardware Security ◽  
Computing System ◽  
Security Vulnerabilities ◽  
Information Flow Tracking ◽  
Side Channels ◽  
Security Properties ◽  
Tools And Techniques

Information flow tracking (IFT) is a fundamental computer security technique used to understand how information moves through a computing system. Hardware IFT techniques specifically target security vulnerabilities related to the design, verification, testing, manufacturing, and deployment of hardware circuits. Hardware IFT can detect unintentional design flaws, malicious circuit modifications, timing side channels, access control violations, and other insecure hardware behaviors. This article surveys the area of hardware IFT. We start with a discussion on the basics of IFT, whose foundations were introduced by Denning in the 1970s. Building upon this, we develop a taxonomy for hardware IFT. We use this to classify and differentiate hardware IFT tools and techniques. Finally, we discuss the challenges yet to be resolved. The survey shows that hardware IFT provides a powerful technique for identifying hardware security vulnerabilities, as well as verifying and enforcing hardware security properties.

scholarly journals Video Data Integrity Verification Method Based on Full Homomorphic Encryption in Cloud System

2018 ◽  
Vol 2018 ◽  
pp. 1-9 ◽  
Author(s):  
Ruoshui Liu ◽  
Jianghui Liu ◽  
Jingjie Zhang ◽  
Moli Zhang
Keyword(s):  
Cloud Computing ◽  
Data Storage ◽  
Homomorphic Encryption ◽  
Data Integrity ◽  
Video Data ◽  
Verification Method ◽  
Whole Process ◽  
Integrity Checking ◽  
Verification Methods ◽  
Cloud Servers

Cloud computing is a new way of data storage, where users tend to upload video data to cloud servers without redundantly local copies. However, it keeps the data out of users' hands which would conventionally control and manage the data. Therefore, it becomes the key issue on how to ensure the integrity and reliability of the video data stored in the cloud for the provision of video streaming services to end users. This paper details the verification methods for the integrity of video data encrypted using the fully homomorphic crytosystems in the context of cloud computing. Specifically, we apply dynamic operation to video data stored in the cloud with the method of block tags, so that the integrity of the data can be successfully verified. The whole process is based on the analysis of present Remote Data Integrity Checking (RDIC) methods.

Sign in / Sign up

Export Citation Format

Share Document