Provable - PDFSEARCH.IO - Document Search Engine

Provable
Results: 110

#	Item
61	A Model of Onion Routing with Provable Anonymity Joan Feigenbaum1? , Aaron Johnson1?? , and Paul Syverson2? ? ? 1 Yale University {Joan.Feigenbaum, aaron.johnson}@yale.edu Add to Reading List Source URL: www.onion-router.net Language: English - Date: 2013-01-23 17:13:22 Network architecture Onion routing Tor Crowds Communications protocol Proxy server Router Internet privacy Computing Internet
62	Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Advantage Tiny Encryption Algorithm Random oracle 0K Chosen-ciphertext attack Cryptography Optimal asymmetric encryption padding Semantic security
63	CertiCrypt Language-Based Cryptographic Proofs in Coq Gilles Barthe1,2 Benjamin Grégoire1,3 Santiago Zanella 1,3 1 Microsoft Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical proof RSA PP Provable security Cryptography Mathematics Mathematical logic
64	Beyond Provable Security Verifiable IND-CCA Security of OAEP Gilles Barthe1 , Benjamin Gr´egoire2, Yassine Lakhnech3 , and Santiago Zanella B´eguelin1 1 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Advantage Tiny Encryption Algorithm Random oracle 0K Chosen-ciphertext attack Cryptography Optimal asymmetric encryption padding Semantic security
65	Curriculum Vitae Silvio Micali Ford Professor of Engineering Electrical Engineering and Computer Science Department Stata Center, Room G644, 32 Vassar Street, Cambridge, MA5949 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-04-22 20:29:48 Verifiable secret sharing Gödel Prize Interactive proof system Claude Crépeau Pseudorandom function family Probabilistic encryption Oblivious transfer Zero-knowledge proof Provable security Cryptography Cryptographic protocols Silvio Micali
66	LWB 1.1 Reference Manual February 14, 1997 Contents 1 Introduction Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Non-classical logic Proof theory Modal logic Epistemology Provable Provability logic Default logic Function Mathematical logic Logic Mathematics
67	Provable Dimension Detection using Principal Component Analysis∗ Siu-Wing Cheng† Yajun Wang† Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-08 22:02:11 Fiber bundles Harmonic analysis Mathematical analysis Connection Differential geometry
68	Provable Dimension Detection using Principal Component Analysis∗ Siu-Wing Cheng† Yajun Wang† Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-08 22:02:11 Fiber bundles Harmonic analysis Mathematical analysis Connection Differential geometry
69	Non-Repudiable Provable Data Possession in Cloud Storage Hongyuan Wang, Liehuang Zhu, Yijia Lilong, and Chang Xu School of Computer, Being Institute of Technology, Beijing, China, 100081 {wanghongyuan, liehuangz, lilongy Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-05-06 07:36:32 RSA Server Computing Cyberwarfare Security Cryptography Commitment scheme Cloud computing
70	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics

UPDATE