221 search results - page 2 / 45 » Algebraic Stuttering Simulations |
JLP
2010
13 years 3 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
IANDC
2002
13 years 5 months ago
2002
LOGCOM
2002
13 years 4 months ago
2002
IANDC
2008
13 years 5 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...
CANS
2011
Springer
12 years 5 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...