Showing 1–3 of 3 results for author: Paparrizos, I

Quantitative Analysis for Authentication of Low-cost RFID Tags

Authors: Ioannis Paparrizos, Stylianos Basagiannis, Sophia Petridou

Abstract: Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- cost Radio Frequency Identification (RFID) protocol proposed by Song and Mitchell. The analysis exploits a Discrete-Time Markov Chain (DTMC) using the well-known PRISM model checker. We have managed to represent up to 100… ▽ More Formal analysis techniques are widely used today in order to verify and analyze communication protocols. In this work, we launch a quantitative verification analysis for the low- cost Radio Frequency Identification (RFID) protocol proposed by Song and Mitchell. The analysis exploits a Discrete-Time Markov Chain (DTMC) using the well-known PRISM model checker. We have managed to represent up to 100 RFID tags communicating with a reader and quantify each RFID session according to the protocol's computation and transmission cost requirements. As a consequence, not only does the proposed analysis provide quantitative verification results, but also it constitutes a methodology for RFID designers who want to validate their products under specific cost requirements. △ Less

Submitted 5 December, 2011; originally announced December 2011.

Comments: To appear in the 36th IEEE Conference on Local Computer Networks (LCN 2011)

A tight bound on the worst-case number of comparisons for Floyd's heap construction algorithm

Authors: Ioannis Paparrizos

Abstract: In this paper a tight bound on the worst-case number of comparisons for Floyd's well known heap construction algorithm, is derived. It is shown that at most 2n-2μ(n)-σ(n) comparisons are executed in the worst case, where μ(n) is the number of ones and σ(n) is the number of zeros after the last one in the binary representation of the number of keys n. In this paper a tight bound on the worst-case number of comparisons for Floyd's well known heap construction algorithm, is derived. It is shown that at most 2n-2μ(n)-σ(n) comparisons are executed in the worst case, where μ(n) is the number of ones and σ(n) is the number of zeros after the last one in the binary representation of the number of keys n. △ Less

Submitted 18 April, 2011; v1 submitted 4 December, 2010; originally announced December 2010.

Comments: This (full) paper was accepted for publication in the 37th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2011), 22-28 January 2011, Novy Smokovec, Slovakia (9 pages)

Homogeneous and Non Homogeneous Algorithms

Authors: Ioannis Paparrizos

Abstract: Motivated by recent best case analyses for some sorting algorithms and based on the type of complexity we partition the algorithms into two classes: homogeneous and non homogeneous algorithms. Although both classes contain algorithms with worst and best cases, homogeneous algorithms behave uniformly on all instances. This partition clarifies in a completely mathematical way the previously mentione… ▽ More Motivated by recent best case analyses for some sorting algorithms and based on the type of complexity we partition the algorithms into two classes: homogeneous and non homogeneous algorithms. Although both classes contain algorithms with worst and best cases, homogeneous algorithms behave uniformly on all instances. This partition clarifies in a completely mathematical way the previously mentioned terms and reveals that in classifying an algorithm as homogeneous or not best case analysis is equally important with worst case analysis. △ Less

Submitted 20 August, 2010; originally announced August 2010.

Comments: This (full) paper was accepted for publication in the 13th Panhellenic Conference on Informatics (PCI 2009), 10-12 September 2009, Corfu, Greece (8 pages)

ACM Class: F.2.2; I.1.2