Composability - PDFSEARCH.IO - Document Search Engine

Composability
Results: 80

#	Item
31	A Probabilistic Analysis of Onion Routing in a Black-box Model JOAN FEIGENBAUM, Yale University AARON JOHNSON, U.S. Naval Research Laboratory PAUL SYVERSON, U.S. Naval Research Laboratory Add to Reading List Source URL: www.ohmygodel.com Language: English - Date: 2012-07-09 20:58:21 Computing Onion routing Tor Universal composability Proxy server Routing Cisco IOS Degree of anonymity Internet privacy Cryptography Internet
32	Provably Secure and Practical Onion Routing Michael Backes Ian Goldberg Saarland University and MPI-SWS, Germany Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-03-20 11:08:29 Onion routing Tor Universal composability Routing Traffic analysis Public-key cryptography Communications protocol Cryptography Internet privacy Computing
33	Provably Secure and Practical Onion Routing Michael Backes Ian Goldberg Aniket Kate Esfandiar Mohammadi Saarland University and MPI-SWS University of Waterloo Add to Reading List Source URL: www.cypherpunks.ca Language: English - Date: 2012-04-29 17:48:07 Cryptographic software Onion routing Tor Universal composability Traffic analysis Public-key cryptography Crowds Cryptography Internet privacy Routing
34	Universally Composable Security: A New Paradigm for Cryptographic Protocols∗ Ran Canetti† July 16, 2013 Abstract Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-07-16 22:00:04 Computing Communications protocol Secure two-party computation X Window System Universal composability Cryptographic protocols Data Information
35	Information-Theoretically Secure Protocols and Security Under Composition∗ Eyal Kushilevitz† Department of Computer Science Technion Israel Institute of Technology Haifa 32000, Israel. Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2009-12-20 09:14:45 Universal composability Secure multi-party computation Information-theoretic security Zero-knowledge proof Communications protocol Actor model Cryptography Cryptographic protocols Secure two-party computation
36	Games and the Impossibility of Realizable Ideal Functionality Anupam Datta1 , Ante Derek1 , John C. Mitchell1 , Ajith Ramanathan1 , and Andre Scedrov2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-18 01:29:59 Commitment scheme Advantage Ciphertext indistinguishability Secure multi-party computation RSA Semantic security Cryptography Cryptographic protocols Universal composability
37	An Equational Approach to Secure Multi-party Computation∗ Daniele Micciancio† Stefano Tessaro‡ January 12, 2013 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-09-26 16:14:53 Secure multi-party computation Computing Universal composability Communications protocol Verifiable secret sharing Boolean algebra Π-calculus Consensus Cryptographic protocols Data Information
38	Protocols for Bounded-Concurrent Secure Two-Party Computation in the Plain Model Yehuda Lindell∗ Department of Computer Science Bar-Ilan University Ramat Gan, 52900, Israel Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2006-10-01 16:24:33 Universal composability Zero-knowledge proof Secure two-party computation Communications protocol Commitment scheme Actor model Proof of knowledge IP PP Cryptography Cryptographic protocols Secure multi-party computation
39	Horizontal composability revisited? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-03-25 10:02:21 Model theory Procedural programming languages Institution Theoretical computer science Sigma-algebra Permutation Specification Standard ML ALGOL 68 Computing Mathematics Software engineering
40	Legally Enforceable Fairness in Secure Two-Party Computation∗ Yehuda Lindell† Department of Computer Science Bar-Ilan University, Israel. Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2009-07-16 07:03:28 Key management Secure multi-party computation Secure two-party computation Cheque Digital signature Standard model Random oracle Certificate authority Universal composability Cryptography Cryptographic protocols Public-key cryptography

UPDATE