Abstract: In this paper, we address the safety verification problem of switched linear dynamical systems under arbitrary switching via barrier functions. Our approach is based on a notion of ...
Abstract: Block cipher is used as an important technology to protect data confidentiality and user privacy in many fields such as machine learning and cloud storage. Vectorial Boolean functions often ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback