Sober-t32 is a candidate stream cipher in the NESSIE competition. Some new attacks are presented in this paper. A Guess and Determine attack is mounted against Sober-t32 without the decimation of the key stream by the so-called stuttering phase. Also, two distinguishing attacks are mounted against full Sober-t32. These attacks are not practically feasible, but they are theoretically more effici...

William Roche and Elliott Sober argue that explanatoriness is evidentially irrelevant. This conclusion is surprising since it conflicts with a plausible assumption—the fact that a hypothesis best explains a given set of data is evidence that the hypothesis is true. We argue that Roche and Sober?s screening-off argument fails to account for a key aspect of evidential strength: the weight of a bo...

In Domain Theory quasicontinuous domains pop up from time to time generalizing slightly the powerful notion of a continuous domain. It is the aim of this paper to show that quasicontinuous domains occur in a natural way in relation to the powerdomains of finitely generated and compact saturated subsets. Properties of quasicontinuous domains seem to be best understood from that point of view. Th...

Sobriety is a subtle notion of completeness for topological spaces: A space is sober if it may be reconstructed from the lattice of its open subsets. The usual criterion to check sobriety involves either irreducible closed subsets or completely prime lters of open sets. This paper provides an alternative possibility, thus trying to make sobriety easier to understand. We deene the notion of obse...

In the article concepts and facts necessary to continue forma-lization of theory of continuous lattices according to [10] are introduced. The notation and terminology used here are introduced in the following papers:

In this paper various properties of the spectrum (i.e. the set of prime elements endowed with the hull-kernel topology) of a distributive continuous lattice are developed. It is shown that the spectrum is always a locally quasicompact sober space and conversely that the lattice of open sets of a locally quasicompact sober space is a continuous lattice. Algebraic lattices are a special subclass ...

This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obtain multivariate equations of degree 10. Then, an algebraic attack is developed using a collection of output bits whose relation to the initial state of the LFSR can be described by low-degree equations. The resulting s...

Sober (1984) presents an account of selection motivated by the view that one property can causally explain the occurrence of another only if the first plays a unique role in the causal production of the second. Sober holds that a causal property will play such a unique role if it is a population level cause of its effect, and on this basis argues that there is selection for a trait T only if T ...