1064 search results - page 94 / 213 » Cryptography from Anonymity |
124
click to vote
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
114
Voted
CIBCB
2006
IEEE
15 years 10 months ago
2006
IEEE
The vast number of expressed sequence tags (ESTs) in public databases provides an important resource for comparative and functional genomics. A variety of methods based on homology...
129
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
113
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
This contribution presents a model for process improvement in the area of performance engineering, which is called performance engineering maturity model. The use of this model al...
120
click to vote
HOPL
2007
15 years 7 months ago
2007
We report on the birth and evolution of Lua and discuss how it moved from a simple configuration language to a versatile, widely used language that supports extensible semantics, ...