Bogdan - PDFSEARCH.IO - Document Search Engine

Bogdan
Results: 482

#	Item
91	Soundness of Formal Encryption in the Presence of Active Adversaries Daniele Micciancio and Bogdan Warinschi Dept. of Computer Science & Engineering University Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-01-08 08:20:25
92	Computationally Sound, Automated Proofs for Security Protocols V´eronique Cortier1 ⋆ and Bogdan Warinschi2 ⋆⋆ Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-01-08 08:20:35
93	Bridging the gap between speech technology and natural language processing: an evaluation toolbox for term discovery systems Bogdan Ludusan∗ , Maarten Versteegh∗ , Aren Jansen† , Guillaume Gravier‡ , Xuan-Nga Cao Add to Reading List Source URL: www.lscp.net Language: English - Date: 2014-04-03 11:38:46
94	Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions∗ Daniele Micciancio Bogdan Warinschi Department of Computer Science and Engineering, University of California, San Diego Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2007-01-08 08:20:29
95	JANUS: Towards Robust and Malicious Resilient Routing in Hybrid Wireless Networks Bogdan Carbunar, Ioanis Ioannidis and Cristina Nita-Rotaru Department of Computer Sciences Purdue University 250 N. University Street Add to Reading List Source URL: homes.cerias.purdue.edu Language: English - Date: 2004-10-18 14:07:15
96	Adapting Helios for provable ballot privacy David Bernhard1 , V´eronique Cortier2 , Olivier Pereira3 , Ben Smyth2 , Bogdan Warinschi1 1 3 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-03-11 07:06:16
97	How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios David Bernhard1 , Olivier Pereira2 , and Bogdan Warinschi1 1 Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2012-10-03 11:46:53
98	or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Explicit Randomness is not Necessary when Modeling Probabilistic Encryption 1 V´eronique Cortier Heinrich H¨ordegen Bogdan Warins Add to Reading List Source URL: www.loria.fr Language: English - Date: 2007-01-12 11:55:22
99	SoK: A comprehensive analysis of game-based ballot privacy definitions David Bernhard∗ , V´eronique Cortier† , David Galindo†‡ , Olivier Pereira§ , Bogdan Warinschi∗ ∗ University of Bristol, United Kingdom Add to Reading List Source URL: uclouvain.be Language: English - Date: 2015-03-26 17:40:28
100	Vitrification in physics, cryobiology, and cryonics A. BOGDAN Department of Physical Sciences, University of Helsinki, Finland Add to Reading List Source URL: www.transhumanismi.org Language: English

UPDATE