3115 search results - page 155 / 623 » Synthesizing Secure Protocols |
124
Voted
TCC
2007
Springer
15 years 10 months ago
2007
Springer
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
127
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
140
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Security of e-voting systems does not only depend on the voting protocol 1 or the software used but concerns the whole system with all its components. To guarantee security a holi...
116
Voted
MMMACNS
2001
Springer
15 years 8 months ago
2001
Springer
The main cryptographic primitives (Bit Commitment (BC) and Oblivious Transfer (OT) protocols) based on noisy channels have been considered in [1] for asymptotic case. Non-asymptoti...
161
Voted
IACR
2011
14 years 3 months ago
2011
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...