ROSE: Robust Searchable Encryption with Forward and Backward Security

Dynamic searchable symmetric encryption (DSSE) has been widely recognized as a promising technique to delegate update and search queries over an outsourced database to an untrusted server while guaranteeing the privacy of data. Many efforts on DSSE have been devoted to obtaining a good tradeoff between security and performance. However, it...

DEKS: A Secure Cloud-Based Searchable Service Can Make Attackers Pay

Many practical secure systems have been designed to prevent real-world attacks via maximizing the attacking cost so as to reduce attack intentions. Inspired by this philosophy, we propose a new concept named delay encryption with keyword search (DEKS) to resist the notorious keyword guessing attack (KGA), in the context of secure cloud-based...

Calibration and validation of cellular automaton traffic flow model with empirical and experimental data

For traffic flow models, calibration and validation are essential. Cellular automaton (CA) models are a special class of models, describing the movement of vehicles in discretised space and time. However, the previous work on calibration and validation does not discuss CA models systematically. This study calibrates and validates a stochastic...