Mostowski

Results: 20



#Item
1Efficient 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

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
    2Semantic 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

    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
      3Malicious 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

      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
        4Midlet Navigation Graphs in JML Wojciech Mostowski and Erik Poll Radboud University Nijmegen Digital Security Group ,

        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
          5OCLUML 2003 Preliminary Version Specifying JAVA CARD API in OCL Daniel Larsson 1 Wojciech Mostowski 2

          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
            6Generation 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

            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
              7Electronic 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

              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
                8Testing the Java Card Applet Firewall Wojciech Mostowski and Erik Poll Security of Systems (SoS) group Department of Computing Science Radboud University Nijmegen The Netherlands

                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
                  9Tearing Java Cards Engelbert Hubbers, Wojciech Mostowski, and Erik Poll Security of Systems (SoS) group Department of Computing Science Radboud University Nijmegen The Netherlands

                  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
                    10Noname manuscript No. (will be inserted by the editor) Systematic Development of JAVA CARD Applets Wojciech Mostowski Radboud University Nijmegen, The Netherlands

                    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