221 search results - page 2 / 45 » Algebraic Stuttering Simulations |
JLP
2010
14 years 10 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
IANDC
2002
14 years 11 months ago
2002
LOGCOM
2002
14 years 11 months ago
2002
IANDC
2008
14 years 11 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
101
click to vote
CANS
2011
Springer
13 years 11 months ago
2011
Springer
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...