Bluetooth Low Energy (BLE) has become the de facto communication protocol for the
Internet of Things (IoT) and smart wearable devices for its ultra-low energy consumption …

Deploying a new security protocol is expensive. This encourages system designers to look
for ways of re-using existing infrastructure. When security protocols and components are re …

DY⋆ is a recently proposed formal verification framework for the symbolic security analysis
of cryptographic protocol code written in the F⋆ programming language. Unlike automated …

Digital watermarking is considered to be a main technology for the copyright protection of
multimedia digital content distributed on the Internet. However, watermarking procedures …

The massive proliferation of sophisticated technologies into the heart of traditional Industrial
Control Systems has given birth to “smart Industrial Cyber–Physical Systems”(ICPS). While …

We consider partitioning a graph in parallel using a large number of processors. Parallel
multilevel partitioners, such as Pt-Scotch and ParMetis, produce good quality partitions but …

Wearable devices are becoming more popular in our daily life. They are usually used to
monitor health status, track fitness data, or even do medical tests, etc. Since the wearable …

Dolev and Yao initiated an approach to studying cryptographic protocols which abstracts
from possible problems with the cryptography so as to focus on the structural aspects of the …

This paper first analyzes authentication and key agreement protocol adopted by 3rd
generation partnership project (3GPP) system architecture evolution (SAE) release 8 …

认证测试是一种新型的在Strand 空间模型基础上发展而来的安全协议分析与辅助设计技术,
可用于大部分协议的关联属性的分析; 但是与Strand 空间模型一样, 它主要用于协议正确性证明 …