Kremer

Results: 407



#Item
51Sp´ecificit´es des protocoles de vote ´electronique St´ephanie Delaune Steve Kremer 16 Janvier 2009

Sp´ecificit´es des protocoles de vote ´electronique St´ephanie Delaune Steve Kremer 16 Janvier 2009

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

Language: French - Date: 2009-07-06 11:55:56
    52Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

    Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer

    Add to Reading List

    Source URL: www.cs.bham.ac.uk

    Language: English - Date: 2010-04-20 09:42:28
      53Election verifiability in electronic voting protocols Ben Smyth, Mark Ryan and Steve Kremer

      Election verifiability in electronic voting protocols Ben Smyth, Mark Ryan and Steve Kremer

      Add to Reading List

      Source URL: bensmyth.com

      - Date: 2012-05-24 07:24:41
        54Formalising security properties in electronic voting protocols St´ephanie Delaune and Steve Kremer LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France The results presented in this report are based on joint work with

        Formalising security properties in electronic voting protocols St´ephanie Delaune and Steve Kremer LSV, ENS Cachan & CNRS & INRIA Saclay ˆIle-de-France The results presented in this report are based on joint work with

        Add to Reading List

        Source URL: www.lsv.ens-cachan.fr

        Language: English - Date: 2010-04-22 04:30:41
          55Computing knowledge in security protocols under convergent equational theories ? S ¸ tefan Ciobˆ ac˘ a, St´ephanie Delaune, and Steve Kremer

          Computing knowledge in security protocols under convergent equational theories ? S ¸ tefan Ciobˆ ac˘ a, St´ephanie Delaune, and Steve Kremer

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          Language: English - Date: 2009-07-06 12:24:04
            56Verifying privacy-type properties of electronic voting protocols ⋆ St´ephanie Delaune a,b , Steve Kremer b , Mark Ryan a a

            Verifying privacy-type properties of electronic voting protocols ⋆ St´ephanie Delaune a,b , Steve Kremer b , Mark Ryan a a

            Add to Reading List

            Source URL: www.cs.bham.ac.uk

            Language: English - Date: 2009-06-30 03:40:39
              57Wesley D. Kremer Vice President Raytheon Company President Integrated Defense Systems

              Wesley D. Kremer Vice President Raytheon Company President Integrated Defense Systems

              Add to Reading List

              Source URL: www.raytheon.com

              Language: English - Date: 2016-02-04 09:45:24
                58D4.3 Results on a real life case study: Helios 2.0 Véronique Cortier and Steve Kremer January 16, 2012 The results presented in this report have been obtained by David Bernhard, Véronique Cortier, Steve Kremer, Olivier

                D4.3 Results on a real life case study: Helios 2.0 Véronique Cortier and Steve Kremer January 16, 2012 The results presented in this report have been obtained by David Bernhard, Véronique Cortier, Steve Kremer, Olivier

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                Language: English - Date: 2012-12-05 06:09:39
                  59Formularhandbuch Datenschutzrecht von Dr. Ansgar Koreng, Matthias Lachenmann, Matthias Bergt, Nikolaus Bertermann, Jörg Jaenichen, Dr. Olaf Koglin, Sascha Kremer, Dr. Joachim Müller, Dr. Carlo Piltz, Stefan Sander, Ste

                  Formularhandbuch Datenschutzrecht von Dr. Ansgar Koreng, Matthias Lachenmann, Matthias Bergt, Nikolaus Bertermann, Jörg Jaenichen, Dr. Olaf Koglin, Sascha Kremer, Dr. Joachim Müller, Dr. Carlo Piltz, Stefan Sander, Ste

                  Add to Reading List

                  Source URL: www.beck-shop.de

                  Language: German - Date: 2014-12-05 00:20:45
                    60Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

                    Formal analysis of protocols based on TPM state registers St´ephanie Delaune∗ and Steve Kremer∗ and Mark D. Ryan† and Graham Steel∗ ∗ LSV, ENS Cachan & CNRS & INRIA Saclay Ile-de-France ˆ † School of Comput

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    Language: English - Date: 2011-05-05 05:25:30