8190 search results - page 1633 / 1638 » From Timed to Hybrid Systems |
INDOCRYPT
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper presents the first results on AIDA/cube, algebraic and sidechannel attacks on variable number of rounds of all members of the KATAN family of block ciphers. Ou...
AICS
2009
13 years 5 months ago
2009
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to facil...
ICDCS
2009
IEEE
13 years 5 months ago
2009
IEEE
The email volume per mailbox has largely remained low and unchanged in the past several decades, and hence mail server performance has largely remained a secondary issue. The stee...
ICETET
2009
IEEE
13 years 5 months ago
2009
IEEE
With increasing concern about energy shortage and environmental protection, research on reducing exhaust emissions, reducing fuel consumption, reducing engine noise and increasing...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...