A number of the temperature-sensitive mutants of Sindbis virus originally isolated and characterized by Burge and Pfefferkorn (1966, 1968) were reexamined for their abilities to grow and complement one another in cultured BHK-21 and Aedes albopictus (mosquito) cells. The response of the mutants to conditions of high and low temperature was similar in cultured cells of both the vertebrate and in...

In this paper, we propose related-key differential distinguishers based on the complementation property of Feistel ciphers. We show that with relaxed requirements on the complementation, i.e. the property does not have to hold for all keys and the complementation does not have to be on all bits, one can obtain a variety of distinguishers. We formulate criteria sufficient for attacks based on th...

The complementation problem for nondeterministic word automata has numerous applications in formal verification. In order to check that the language of an automaton A1 is contained in the language of a second automaton A2, one checks that the intersection of A1 with an automaton that complements A2 is empty. Many problems in verification and design are reduced to language containment. In model ...