157 search results - page 1 / 32 » Universally Composable Signcryption |
EUROPKI
2007
Springer
13 years 12 months ago
2007
Springer
IACR
2011
12 years 5 months ago
2011
We put forward a framework for the modular design and analysis of multi-party protocols. Our framework is called “GNUC” (with the recursive meaning “GNUC’s Not UC”), alr...
JOC
2011
13 years 22 days ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
226
click to vote
Lab
The Software Engineering Research Group (GIIS) of the University of Oviedo is composed by 9 researchers, headquartered at the University Campus of Gijón (Spain).
CRYPTO
2012
Springer
11 years 8 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...