2251 search results - page 357 / 451 » Specification and Implementation Problems for C |
261
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
157
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
136
click to vote
STOC
2005
ACM
16 years 5 months ago
2005
ACM
We present a variant of the Ajtai-Dwork public-key cryptosystem where the size of the public-key is only O(n log n) bits and the encrypted text/clear text ratio is also O(n log n)...
154
click to vote
MOBIHOC
2003
ACM
16 years 4 months ago
2003
ACM
In hostile environments, the enemy can launch traffic analysis against interceptable routing information embedded in routing messages and data packets. Allowing adversaries to tra...
127
click to vote
EUROSYS
2009
ACM
16 years 2 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...