272 search results - page 36 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
164
click to vote
BIOSIG
2009
15 years 27 days ago
2009
: In ACISP'07, Bringer et al proposed a new approach for remote biometric based verification, which consists of a hybrid protocol that distributes the server side functionalit...
114
click to vote
CODES
1999
IEEE
15 years 7 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
140
click to vote
TCC
2009
Springer
16 years 3 months ago
2009
Springer
The first and still most popular solution for secure two-party computation relies on Yao's garbled circuits. Unfortunately, Yao's construction provide security only again...
124
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
138
click to vote
ECOOP
2008
Springer
15 years 4 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...