Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Norton's Theorem01:14

Norton's Theorem

523
Norton's theorem is a fundamental principle stating that a linear two-terminal circuit can be substituted with an equivalent circuit, which comprises a current source (ⅠN) in parallel with a resistor (RN). Here, ⅠN represents the short-circuit current flowing through the terminals, and RN stands for the input or equivalent resistance at the terminals when all independent sources are deactivated. This implies that the circuit illustrated in Figure (a) can be exchanged with the...
523
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

580
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
580
Censoring Survival Data01:09

Censoring Survival Data

64
Survival analysis is a statistical method used to analyze time-to-event data, often employed in fields such as medicine, engineering, and social sciences. One of the key challenges in survival analysis is dealing with incomplete data, a phenomenon known as "censoring." Censoring occurs when the event of interest (such as death, relapse, or system failure) has not occurred for some individuals by the end of the study period or is otherwise unobservable, and it might have many different...
64
Second Uniqueness Theorem01:16

Second Uniqueness Theorem

979
Consider a region consisting of several individual conductors with a definite charge density in the region between these conductors. The second uniqueness theorem states that if the total charge on each conductor and the charge density in the in-between region are known, then the electric field can be uniquely determined.
In contrast, consider that the electric field is non-unique and apply Gauss's law in divergence form in the region between the conductors and the integral form to the...
979
Thevinin's Theorem01:15

Thevinin's Theorem

513
Thévenin's theorem plays a pivotal role in electrical circuit analysis, offering a solution to the challenges posed by variable loads within a circuit. In practical applications, it is common to encounter circuits where certain elements remain fixed while others fluctuate, often referred to as the "load." A typical household electrical outlet serves as a prime example of a variable load, as it can be connected to a variety of appliances, each with its own unique electrical...
513
Theorems of Pappus and Guldinus: Problem Solving01:12

Theorems of Pappus and Guldinus: Problem Solving

707
Pappus and Guldinus's theorems are powerful mathematical principles that are used for finding the surface area and volume of composite shapes. For example, consider a cylindrical storage tank with a conical top. Finding the surface area or volume can be challenging for such complex shapes. These theorems are particularly useful in calculating the volume and surface area of such systems. Here, the cylindrical storage tank with a conical top can be broken down into two simple shapes: a...
707

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

APASL clinical practice guidelines on the management of chronic hepatitis B infection: a 2026 update.

Hepatology international·2026
Same author

HBsAg Quantification-Based Models for Predicting Hepatocellular Carcinoma Risk in Nucleos(t)ide Analogs-Experienced Patients With Chronic Hepatitis B: The HBsAg-HCC Score.

Alimentary pharmacology & therapeutics·2026
Same author

Study on the mechanism of electrocatalytic methanol oxidation over PtBi-Bi<sub>2</sub>O<sub>3</sub> multifunctional active network catalysts.

Journal of colloid and interface science·2026
Same author

Repurposing SGLT2 Inhibitors for Cirrhotic Ascites: From Mechanistic Research to Clinical Exploration.

Journal of clinical and translational hepatology·2026
Same author

Dendrobine attenuates postoperative cognitive dysfunction by inhibiting Runx1-mediated NF-κB signaling pathway.

Brain research bulletin·2026
Same author

Low-level viremia increases the risk of adverse long-term outcomes in entecavir-treated patients with chronic hepatitis B.

Antiviral research·2025

Related Experiment Video

Updated: Jun 8, 2025

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.3K

EKV-VBQ: Ensuring Verifiable Boolean Queries in Encrypted Key-Value Stores.

Yuxi Li1, Jingjing Chen1, Fucai Zhou2

  • 1School of Computer Science and Engineering, Northeastern University, Shenyang 110819, China.

Sensors (Basel, Switzerland)
|November 9, 2024
PubMed
Summary
This summary is machine-generated.

This study introduces EKV-VBQ, a novel scheme for secure and verifiable Boolean queries on encrypted outsourced key-value data. It enhances data integrity and privacy using blockchain and advanced cryptographic techniques.

Keywords:
bilinear accumulatorsblockchainencrypted key-value storeshomomorphic encryptionverifiable Boolean queries

More Related Videos

Gradient Echo Quantum Memory in Warm Atomic Vapor
10:00

Gradient Echo Quantum Memory in Warm Atomic Vapor

Published on: November 11, 2013

12.8K
Quasi-light Storage for Optical Data Packets
07:45

Quasi-light Storage for Optical Data Packets

Published on: February 6, 2014

10.8K

Related Experiment Videos

Last Updated: Jun 8, 2025

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases
07:26

Executing Complexity-Increasing Queries in Relational MySQL and NoSQL MongoDB and EXist Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on: March 19, 2018

9.3K
Gradient Echo Quantum Memory in Warm Atomic Vapor
10:00

Gradient Echo Quantum Memory in Warm Atomic Vapor

Published on: November 11, 2013

12.8K
Quasi-light Storage for Optical Data Packets
07:45

Quasi-light Storage for Optical Data Packets

Published on: February 6, 2014

10.8K

Area of Science:

  • Cryptography and Data Security
  • Distributed Systems
  • Blockchain Technology

Background:

  • Outsourced key-value stores lack robust privacy-preserving mechanisms for expressive queries and result verification.
  • Existing solutions struggle to balance security, efficiency, and verifiability for encrypted data.

Purpose of the Study:

  • To propose EKV-VBQ, a scheme for verifiable Boolean queries on encrypted key-value data.
  • To enhance privacy, security, and verifiability in outsourced data storage.
  • To enable efficient encrypted Boolean queries and guarantee result correctness.

Main Methods:

  • Integration of blockchain, homomorphic XOR operations, and pseudo-random functions for a secure datastore.
  • Development of a lightweight verification protocol utilizing bilinear map accumulators.
  • Security analysis against adaptive chosen label attacks (IND-CLA) and integrity/unforgeability under the bilinear q-strong Diffie-Hellman assumption.

Main Results:

  • EKV-VBQ ensures security against IND-CLA and guarantees integrity and unforgeability.
  • Demonstrated reduced server-side storage overhead and efficient proof generation.
  • Achieved significant reduction in user-side computational complexity (log n) and up to 50% performance enhancement via GPU acceleration.

Conclusions:

  • EKV-VBQ provides a secure, efficient, and verifiable solution for privacy-preserving queries on encrypted key-value data.
  • The scheme is highly efficient and suitable for resource-constrained environments.
  • Offers enhanced data integrity and unforgeability for outsourced data.