Mostowski

Results: 20



#Item
1

Efficient U-Prove Implementation for Anonymous Credentials on Smart Cards Wojciech Mostowski? and Pim Vullers?? Institute for Computing and Information Sciences, Digital Security group, Radboud University Nijmegen, The N

Add to Reading List

Source URL: ceres.hh.se

Language: English - Date: 2015-05-16 14:56:14
    2

    Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t

    Add to Reading List

    Source URL: jakubszymanik.com

    Language: English - Date: 2012-02-17 11:19:27
      3

      Malicious Code on Java Card Smartcards: Attacks and Countermeasures Wojciech Mostowski and Erik Poll Digital Security (DS) group, Department of Computing Science Radboud University Nijmegen, The Netherlands {woj,erikpoll

      Add to Reading List

      Source URL: ceres.hh.se

      Language: English - Date: 2015-05-16 14:49:15
        4

        Midlet Navigation Graphs in JML Wojciech Mostowski and Erik Poll Radboud University Nijmegen Digital Security Group ,

        Add to Reading List

        Source URL: ceres.hh.se

        Language: English - Date: 2015-05-16 14:55:47
          5

          OCLUML 2003 Preliminary Version Specifying JAVA CARD API in OCL Daniel Larsson 1 Wojciech Mostowski 2

          Add to Reading List

          Source URL: ceres.hh.se

          Language: English - Date: 2015-05-16 14:54:39
            6

            Generation of Failure Models through Automata Learning [Position Paper] Sebastian Kunze, Wojciech Mostowski, Mohammad Reza Mousavi, Mahsa Varshosaz Centre for Research on Embedded Systems, Halmstad University, Sweden {s

            Add to Reading List

            Source URL: ceres.hh.se

            Language: English - Date: 2016-08-10 08:19:52
              7

              Electronic Passports in a Nutshell Wojciech Mostowski and Erik Poll Radboud University, Nijmegen, The Netherlands {woj,erikpoll}@cs.ru.nl Abstract. This document tries to give concise, (semi)formal specifications

              Add to Reading List

              Source URL: ceres.hh.se

              Language: English - Date: 2015-05-16 13:58:44
                8

                Testing the Java Card Applet Firewall Wojciech Mostowski and Erik Poll Security of Systems (SoS) group Department of Computing Science Radboud University Nijmegen The Netherlands

                Add to Reading List

                Source URL: ceres.hh.se

                Language: English - Date: 2015-05-16 14:02:14
                  9

                  Tearing Java Cards Engelbert Hubbers, Wojciech Mostowski, and Erik Poll Security of Systems (SoS) group Department of Computing Science Radboud University Nijmegen The Netherlands

                  Add to Reading List

                  Source URL: ceres.hh.se

                  Language: English - Date: 2015-05-16 14:50:20
                    10

                    Noname manuscript No. (will be inserted by the editor) Systematic Development of JAVA CARD Applets Wojciech Mostowski Radboud University Nijmegen, The Netherlands

                    Add to Reading List

                    Source URL: ceres.hh.se

                    Language: English - Date: 2015-05-16 14:55:26
                      UPDATE