University of Trier

Results: 39



#Item
1This article was downloaded by:[University of Maastricht] On: 13 May 2008 Access Details: [subscription numberPublisher: Informa Healthcare Informa Ltd Registered in England and Wales Registered Number: 10729

This article was downloaded by:[University of Maastricht] On: 13 May 2008 Access Details: [subscription numberPublisher: Informa Healthcare Informa Ltd Registered in England and Wales Registered Number: 10729

Add to Reading List

Source URL: www.haraldmerckelbach.nl

Language: English - Date: 2014-04-24 05:32:41
2List of Participants of CCA 2016 First name Daniel Rui Arno Sewon

List of Participants of CCA 2016 First name Daniel Rui Arno Sewon

Add to Reading List

Source URL: cca-net.de

Language: English - Date: 2016-06-16 06:05:49
3Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier

Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier

Add to Reading List

Source URL: www.st.uni-trier.de

Language: English - Date: 2011-08-23 05:59:48
4Final Report on the NSF/DFG-funded Project “Middle High German Text Archive” Electronic Text Center University of Virginia, Charlottesville, and University of Trier DFG-Az.: LIS 1 – Uv; Bewilligung vom 0

Final Report on the NSF/DFG-funded Project “Middle High German Text Archive” Electronic Text Center University of Virginia, Charlottesville, and University of Trier DFG-Az.: LIS 1 – Uv; Bewilligung vom 0

Add to Reading List

Source URL: www.mhgta.uni-trier.de

Language: English - Date: 2013-06-04 04:09:33
5Ralf Küsters University of Trier CSF  (Vegetariano)

Ralf Küsters University of Trier CSF (Vegetariano)

Add to Reading List

Source URL: csf2015.di.univr.it

- Date: 2015-07-08 13:21:17
    6An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols Ralf Küsters and Tomasz Truderung University of Trier Germany Email: {kuesters,truderun}@uni-trier.de

    An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols Ralf Küsters and Tomasz Truderung University of Trier Germany Email: {kuesters,truderun}@uni-trier.de

    Add to Reading List

    Source URL: www-veto2009.imag.fr

    Language: English - Date: 2009-06-12 10:47:26
      7A Proof Technique for Noninterference In Open Systems: An extended version (Extended Abstract) Enrico Scapin University of Trier, Germany In [3], a framework has been proposed which allows tools that can check standard n

      A Proof Technique for Noninterference In Open Systems: An extended version (Extended Abstract) Enrico Scapin University of Trier, Germany In [3], a framework has been proposed which allows tools that can check standard n

      Add to Reading List

      Source URL: software.imdea.org

      Language: English - Date: 2015-07-09 06:40:16
        8Making big steps in trajectories Norbert Th. Müller, Dept. Computer Science, University of Trier Margarita Korovina, CICADA, University Manchester David Lester, Dept. Computer Science, University Manchester, Trier / Man

        Making big steps in trajectories Norbert Th. Müller, Dept. Computer Science, University of Trier Margarita Korovina, CICADA, University Manchester David Lester, Dept. Computer Science, University Manchester, Trier / Man

        Add to Reading List

        Source URL: theoinf.math.uni-siegen.de

        Language: English
          9An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett, Ralf Küsters, and Guido Schmitz University of Trier, Germany Email: {fett,kuesters,schmitzg}@uni-trier

          An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett, Ralf Küsters, and Guido Schmitz University of Trier, Germany Email: {fett,kuesters,schmitzg}@uni-trier

          Add to Reading List

          Source URL: ieee-security.org

          - Date: 2014-04-21 13:48:10
            10Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking Ralf K¨usters University of Trier, Germany Tomasz Truderung University of Trier, Germany

            Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking Ralf K¨usters University of Trier, Germany Tomasz Truderung University of Trier, Germany

            Add to Reading List

            Source URL: ieee-security.org

            Language: English - Date: 2014-04-21 13:48:10