搜索结果: 1-15 共查到“知识库 Independence”相关记录100条 . 查询时间(0.345 秒)
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...
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...
Karp complexity and classes with the independence property
Karp complexity independence property
2015/9/25
A class K of structures is controlled if for all cardinals
λ, the relation of L∞,λ-equivalence partitions K into a set of
equivalence classes (as opposed to a proper class). We prove that
no pseudo...
Causal e§ects of monetary shocks: Semiparametric conditional independence tests with a multinomial propensity score
conditional independence tests instrument
2015/9/22
Macroeconomists have long been concerned with the causal e§ects of monetary policy. When the identiÖcation of causal e§ects is based on a selection-on-observables assumption, non-causality amount...