4305 search results - page 281 / 861 » Analysing Protocol Implementations |
CUZA
2004
15 years 2 months ago
2004
We present several significant improvements in the implementation of the quick check pre-unification filter [7] [10], and the potential way in which the design of the quick check [...
106
Voted
JAIHC
2010
15 years 1 months ago
2010
Cooperative ambient intelligence aims to improve users’ work and private life by analysing their current situation with a special focus on their social interaction and to adapt t...
113
click to vote
GI
2009
Springer
15 years 10 days ago
2009
Springer
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...
145
Voted
CRYPTO
2010
Springer
15 years 3 months ago
2010
Springer
Due to its universality oblivious transfer (OT) is a primitive of great importance in secure multi-party computation. OT is impossible to implement from scratch in an unconditional...
124
click to vote
PODS
2005
ACM
16 years 2 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...