搜索结果: 1-2 共查到“军事学 elementary”相关记录2条 . 查询时间(0.056 秒)
Formal Verification of Side-channel Countermeasures via Elementary Circuit Transformations
Side-channel countermeasures masking formal verification
2017/9/14
We describe a technique to formally verify the security of masked implementations against side-channel attacks, based on elementary circuit transformations. We describe two complementary approaches: a...
Pseudo-Free Families of Finite Computational Elementary Abelian p-Groups
collision-intractable family of functions one-way family of functions family of p-ary hash functions
2015/12/21
We initiate the study of (weakly) pseudo-free families of computational elementary abelian pgroups,
where p is an arbitrary fixed prime. We restrict ourselves to families of computational
elementary...