619 search results - page 104 / 124 » Learning with Security |
188
click to vote
TCC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We introduce Fair Zero-Knowledge, a multi-verifier ZK system where every proof is guaranteed to be “zero-knowledge for all verifiers.” That is, if an honest verifi...
203
click to vote
RAID
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
214
Voted
SAFECOMP
2004
Springer
16 years 25 days ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
218
Voted
WSNA
2003
ACM
16 years 22 days ago
2003
ACM
The MANTIS MultimodAl system for NeTworks of In-situ wireless Sensors provides a new multithreaded embedded operating system integrated with a general-purpose single-board hardwar...
187
Voted
PASTE
2010
ACM
16 years 17 days ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...