5255 search results - page 379 / 1051 » Formal Methods for Privacy |
174
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Conserved regions, or motifs, present among RNA secondary structures serve as a useful indicator for predicting the functionality of the RNA molecules. Automated detectio...
126
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We introduce the concept of an elastic block cipher, which refers to stretching the supported block size of a block cipher to any length up to twice the original block size while ...
146
click to vote
PET
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a novel use of pairing-based cryptography to improve circuit construction in onion routing anonymity networks. Instead of iteratively and interactivel...
149
click to vote
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
135
Voted
IEEEARES
2006
IEEE
15 years 11 months ago
2006
IEEE
Elections are increasingly dependent on computers and telecommunication systems. Such “E-voting” schemes create socio-technical systems (combinations of technology and human o...