Composability - PDFSEARCH.IO - Document Search Engine

Composability
Results: 80

#	Item
21	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: ohmygodel.com Language: English - Date: 2012-07-09 20:58:21 Computing Internet Cryptography Internet privacy Onion routing Routing Tor Universal composability Anonymity Proxy server IP Posterior probability
22	A General Framework for Architecture Composability Paul Attie1 , Eduard Baranov2, Simon Bliudze2 , Mohamad Jaber1 , and Joseph Sifakis2 1 Add to Reading List Source URL: www.bliudze.me Language: English - Date: 2014-09-18 15:16:19
23	A Hybrid Approach for Proving Noninterference and Applications to the Cryptographic Verification of Java Programs Ralf Küsters∗ , Tomasz Truderung∗ , Bernhard Beckert† , Daniel Bruns† , Jürgen Graf† and Chris Add to Reading List Source URL: grsrd.uni.lu Language: English - Date: 2013-04-09 08:10:38 Cryptography Computer security Language-based security KeY Ciphertext indistinguishability Universal composability
24	BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Nielsen: Universally Composable Commitments with Constant Expansion Factor Perfect Hiding and Perfect Binding Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-06 08:55:18 Public-key cryptography Secure channel Commitment Universal composability Cryptography Cryptographic protocols Commitment scheme
25	SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce : Add to Reading List Source URL: www-circa.mcs.st-and.ac.uk Language: English - Date: 2009-08-13 06:52:04 Cross-platform software Functional languages Grid computing Symbolic computation Mathematica Composability Research Institute for Symbolic Computation Service-oriented architecture Maple Software Mathematical software Computing
26	Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries∗ Carmit Hazay† Yehuda Lindell† Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2014-09-16 05:37:56 Secure two-party computation Pseudorandomness Random oracle Security parameter Zero-knowledge proof IP Universal composability Verifiable secret sharing Cryptography Cryptographic protocols Secure multi-party computation
27	Efficient Protocols for Set Intersection and Pattern Matching with Security Against Malicious and Covert Adversaries∗ Carmit Hazay† Yehuda Lindell† Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2014-09-16 05:37:56 Secure two-party computation Pseudorandomness Random oracle Security parameter Zero-knowledge proof IP Universal composability Verifiable secret sharing Cryptography Cryptographic protocols Secure multi-party computation
28	BRICS RSBogetoft et al.: Secure Computing, Economy, and Trust: A Generic Solution for Secure Auctions BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-06-06 07:42:15 Business Auction Secure multi-party computation Trusted third party Universal composability Vickrey auction Online auction business model Bid Cryptography Auction theory Auctioneering Cryptographic protocols
29	Complete Fairness in Secure Two-Party Computation S. Dov Gordon∗ Carmit Hazay† Jonathan Katz‡ Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2014-09-16 05:31:04 Secure multi-party computation Secure two-party computation PP Function Universal composability Cryptographic protocols Mathematics Applied mathematics
30	BRICS RSBRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2004-12-08 06:09:18 Process calculi Theoretical computer science Universal composability Calculus Process calculus