Главная

Panagiotis Katsaros

  1. Attacking an OT-Based Blind Signature Scheme.

    Ср, 11/11/2009 - 16:01 — SomNambul
    Authors: Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
    Subjects: Cryptography and Security
    Abstract

    In this paper, we describe an attack against one of the
    Oblivious-Transfer-based blind signatures scheme, proposed in [1]. An attacker
    with a primitive capability of producing specific-range random numbers, while
    exhibiting a partial MITM behavior, is able to corrupt the communication
    between the protocol participants. The attack is quite efficient as it leads to
    a protocol communication corruption and has a sound-minimal computational cost.
    We propose a solution to fix the security flaw.

  2. State Space Reduction with Message Inspection in Security Protocol Model Checking.

    Ср, 09/02/2009 - 12:02 — SomNambul
    Authors: Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
    Subjects: Cryptography and Security
    Abstract

    Model checking is a widespread automatic formal analysis that has been
    successful in discovering flaws in security protocols. However existing
    possibilities for state space explosion still hinder analyses of complex
    protocols and protocol configurations. Message Inspection, is a technique that
    delimits the branching of the state space due to the intruder model without
    excluding possible attacks. In a preliminary simulation, the intruder model
    tags the eavesdropped messages with specific metadata that enable validation of
    feasibility of possible attack actions.

Math-arch

RSS-материал