Sciweavers

1173 search results - page 10 / 235
» On the Compositionality of Round Abstraction
Sort
View
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 7 months ago
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (Extended Abstract)
Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van...
AUSAI
2006
Springer
14 years 1 months ago
Unsupervised Measurement of Translation Quality Using Multi-engine, Bi-directional Translation
Abstract. Lay people discussing machine translation systems often perform a round trip translation, that is translating a text into a foreign language and back, to measure the qual...
Menno van Zaanen, Simon Zwarts
CANS
2011
Springer
254views Cryptology» more  CANS 2011»
12 years 9 months ago
Algebraic Cryptanalysis of the Round-Reduced and Side Channel Analysis of the Full PRINTCipher-48
Abstract. In this paper we analyze the recently proposed light-weight block cipher PRINTCipher. Applying algebraic methods and SAT-solving we are able to break 8 rounds of PRINTCip...
Stanislav Bulygin, Johannes Buchmann
FSE
1999
Springer
87views Cryptology» more  FSE 1999»
14 years 2 months ago
Attack on Six Rounds of Crypton
Abstract. In this paper we present an attack on a reduced round version of Crypton. The attack is based on the dedicated Square attack. We explain why the attack also works on Cryp...
Carl D'Halluin, Gert Bijnens, Vincent Rijmen, Bart...