177 search results - page 28 / 36 » Provably Secure Key Exchange: An Engineering Approach |
104
click to vote
MIDDLEWARE
2007
Springer
15 years 3 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
CASES
2004
ACM
15 years 3 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...
IUI
2010
ACM
15 years 2 months ago
2010
ACM
While web search tasks are often inherently collaborative in nature, many search engines do not explicitly support collaboration during search. In this paper, we describe HeyStaks...
SYRCODIS
2008
14 years 11 months ago
2008
Based on loosely coupled services in an XML engine, we describe how to realize fine-grained lock protocols, which can guarantee transaction isolation for applications using differ...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...