Page
%P
-
Article
Flexible meaningful visual multi-secret sharing scheme by random grids
With rapid developments in network technology, information security is becoming increasingly crucial. To ensure that secret images are not being stolen during transmission, a good countermeasure is to encrypt ...
-
Chapter and Conference Paper
ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions
We present ILAng, a platform for modeling and verification of systems-on-chip (SoCs) using Instruction-Level Abstractions (ILA). The ILA formal model targeting the hardware-software interface enables a clean s...
