Sciweavers

1173 search results - page 10 / 235
» On the Compositionality of Round Abstraction
Sort
View
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 4 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
15 years 9 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»
14 years 6 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»
15 years 10 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...