Bogdan

Results: 482



#Item
91Soundness of Formal Encryption in the Presence of Active Adversaries Daniele Micciancio and Bogdan Warinschi Dept. of Computer Science & Engineering University 

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
    92Computationally Sound, Automated Proofs for Security Protocols V´eronique Cortier1 ⋆ and Bogdan Warinschi2 ⋆⋆

    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
      93Bridging 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

      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
        94Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions∗ Daniele Micciancio Bogdan Warinschi Department of Computer Science and Engineering, University of California, San Diego

        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
          95JANUS: 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

          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
            96Adapting Helios for provable ballot privacy David Bernhard1 , V´eronique Cortier2 , Olivier Pereira3 , Ben Smyth2 , Bogdan Warinschi1 1 3

            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
              97How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios David Bernhard1 , Olivier Pereira2 , and Bogdan Warinschi1 1

              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
                98or 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

                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
                  99SoK: 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

                  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
                    100Vitrification in physics, cryobiology, and cryonics A. BOGDAN Department of Physical Sciences,  University of Helsinki,  Finland

                    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