搜索结果: 1-15 共查到“Independence”相关记录105条 . 查询时间(0.093 秒)
The UK government is committed to a programme of new nuclear projects beyond Sizewell C, giving industry and investors the confidence they need to deliver projects at speed, according to a new policy ...
Sharing Independence & Relabeling: Efficient Formal Verification of Higher-Order Masking
masking formal verification domain-oriented masking
2018/11/2
The efficient verification of the security of masked hardware implementations is an important issue that hinders the development and deployment of randomness-efficient masking techniques. At EUROCRYPT...
Statistical and Linear Independence of Binary Random Variables
Xiao-Massey lemma block cipher linear cryptanalysis
2017/5/23
Linear cryptanalysis makes use of statistical models that consider linear approximations over block cipher and random permutation as binary random variables. In this note we show that linear and stati...
昆明理工大学理学院概率论与数理统计课件Chapter 3 Multionariate Random Variables--Independence
昆明理工大学理学院 概率论与数理统计 课件 Chapter 3 Multionariate Random Variables Independence
2017/4/17
昆明理工大学理学院概率论与数理统计课件Chapter 3 Multionariate Random Variables--Independence.
Is Howard's separability principle a sufficient condition for outcome independence?
Bell inequalities Howard separability
2016/6/12
In order to motivate his claim that the violation of the Bell inequalities forces us into a certain kind of holism, Howard (1985,1989,1992) develops a formal equivalence proof supposed to ground the s...
General Covariance and Background Independence in Quantum Gravity
general covariance background independence quantum gravity string theory loop quantum gravity spin foam models
2016/5/27
The history of general relativity suggests that in absence of experi-mental data, constructing a theory on philosophical first principles can lead to a very useful theory as well as to ground-breaking...
Legion: Expressing Locality and Independence with Logical Regions
Legion Expressing Locality Independence Logical Regions
2016/5/24
Modern parallel architectures have both heterogeneous processors and deep, complex memory hierarchies. We present Legion, a programming model and runtime system for achieving high performance on these...
Verifying Atomicity via Data Independence
concurrency linearizability verification composed operations dataindependence collections
2016/5/24
We present a technique for automatically verifying atomicity of composed concurrent operations. The main observation behind our approach is that many composed concurrent operations which occur in prac...
New Bounds for Keyed Sponges with Extendable Output: Independence between Capacity and Message Length
PRF XOF game playing
2016/3/18
We provide new bounds for the pseudo-random function security
of keyed sponge constructions. For the case c ≤ b/2 (c the capacity
and b the permutation size), our result improves over all previously...
Marginal empirical likelihood and sure independence screening
Empirical likelihood high dimensional data analysis independence sure screening large deviation
2016/1/25
We study a marginal empirical likelihood approach in scenarios when the num-ber of variables grows exponentially with the sample size. The marginal empirical likelihood ratios as functions of the para...
Marginal empirical likelihood and sure independence screening
Empirical likelihood high dimensional data analysis independence sure screening large deviation
2016/1/20
We study a marginal empirical likelihood approach in scenarios when the num-ber of variables grows exponentially with the sample size. The marginal empirical likelihood ratios as functions of the para...
We will introduce different notions of independence, especially computational independence (or more precise independence by polynomial-size circuits (PSC)), which is the analog to computational indist...
We study ballot secrecy and ballot independence for election schemes.
First, we propose a definition of ballot secrecy as an indistinguishability
game in the computational model of cryptography. Our...
A Practical Oblivious Map Data Structure with Secure Deletion and History Independence
oblivious RAM ORAM oblivious data structures
2015/12/21
We present a new oblivious RAM that supports variable-sized storage blocks (vORAM), which is
the first ORAM to allow varying block sizes without trivial padding. We also present a new historyindepend...
THE NONCOMMUTATIVE WIENER LEMMA,LINEAR INDEPENDENCE,AND SPECTRAL PROPERTIES OF THE ALGEBRA OF TIME-FREQUENCY SHIFT OPERATORS
NONCOMMUTATIVE WIENER LEMMA LINEAR INDEPENDENCE SPECTRAL PROPERTIES OF THE ALGEBRA TIME-FREQUENCY SHIFT OPERATORS
2015/9/29
In this paper we analyze the Banach *-algebra of time-frequency shifts with absolutely summable coefficients. We prove a noncommutative version of the Wiener lemma. We also construct a faithful tracia...