7 search results - page 2 / 2 » Efficient Concurrent Zero-Knowledge in the Auxiliary String ... |
CTRSA
2006
Springer
15 years 3 months ago
2006
Springer
We construct efficient universally composable oblivious transfer protocols in the multi-party setting for honest majorities. Unlike previous proposals our protocols are designed in...
99
Voted
ASE
2002
14 years 11 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...