3573 search results - page 544 / 715 » Reasoning about Codata |
120
Voted
ECCC
2007
15 years 3 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
104
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Collective phenomena and their associated movement patterns are ubiquitous in everyday life. However, even though we need to be able to reason about these phenomena, espe...
122
click to vote
LISP
2008
15 years 3 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
115
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present an implementation of Rijndael for wireless sensor networks running on Eyes sensor nodes. In previous works, Rijndael has not been considered a suitable encryption algor...
129
click to vote
ENTCS
2007
15 years 3 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...