16616 search results - page 98 / 3324 » Extending Extended Vacuity |
94
Voted
TCC
2010
Springer
15 years 9 months ago
2010
Springer
We describe the first domain extender for ideal ciphers, i.e. we show a construction that is indifferentiable from a 2n-bit ideal cipher, given a n-bit ideal cipher. Our construc...
133
Voted
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Most mobile devices are now Bluetooth-enabled. This wireless technology makes it possible to transfer files or stream contents between pieces of equipment. The possibly many de...
SAC
2009
ACM
15 years 7 months ago
2009
ACM
The Problem Frames approach captures problems as seen by developers, but not by stakeholders. This paper presents a framework that extends the problem diagram of the Problem Frame...
120
Voted
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
115
click to vote
MOMPES
2009
IEEE
15 years 7 months ago
2009
IEEE
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements ha...