The Experts below are selected from a list of 6 Experts worldwide ranked by ideXlab platform

Mohamed Mezghiche - One of the best experts on this subject based on the ideXlab platform.

  • The Hell Forgery, Polymorphic Codes Shoot Again
    2016
    Co-Authors: Abdelhak Mesbah, Leo Regnaud, Jean-louis Lanet, Mohamed Mezghiche
    Abstract:

    We present in this paper a new approach to gain access to assets of a smart card. It is based on the concept of reference forgery and array extension. We characterize the meta data of the system using different level of expertize from human know-hows to formal methods. We are able to generate arbitrary but well formed references which allow us to execute self modifying Java Program inside the card. This Hostile Program is able to dump the complete Non Volatile Memory (NVM) memory segment. Then we develop a graphical representation of the objects belonging to the system for gaining abstraction of the binary dump.

Abdelhak Mesbah - One of the best experts on this subject based on the ideXlab platform.

  • The Hell Forgery, Polymorphic Codes Shoot Again
    2016
    Co-Authors: Abdelhak Mesbah, Leo Regnaud, Jean-louis Lanet, Mohamed Mezghiche
    Abstract:

    We present in this paper a new approach to gain access to assets of a smart card. It is based on the concept of reference forgery and array extension. We characterize the meta data of the system using different level of expertize from human know-hows to formal methods. We are able to generate arbitrary but well formed references which allow us to execute self modifying Java Program inside the card. This Hostile Program is able to dump the complete Non Volatile Memory (NVM) memory segment. Then we develop a graphical representation of the objects belonging to the system for gaining abstraction of the binary dump.

Leo Regnaud - One of the best experts on this subject based on the ideXlab platform.

  • The Hell Forgery, Polymorphic Codes Shoot Again
    2016
    Co-Authors: Abdelhak Mesbah, Leo Regnaud, Jean-louis Lanet, Mohamed Mezghiche
    Abstract:

    We present in this paper a new approach to gain access to assets of a smart card. It is based on the concept of reference forgery and array extension. We characterize the meta data of the system using different level of expertize from human know-hows to formal methods. We are able to generate arbitrary but well formed references which allow us to execute self modifying Java Program inside the card. This Hostile Program is able to dump the complete Non Volatile Memory (NVM) memory segment. Then we develop a graphical representation of the objects belonging to the system for gaining abstraction of the binary dump.

Jean-louis Lanet - One of the best experts on this subject based on the ideXlab platform.

  • The Hell Forgery, Polymorphic Codes Shoot Again
    2016
    Co-Authors: Abdelhak Mesbah, Leo Regnaud, Jean-louis Lanet, Mohamed Mezghiche
    Abstract:

    We present in this paper a new approach to gain access to assets of a smart card. It is based on the concept of reference forgery and array extension. We characterize the meta data of the system using different level of expertize from human know-hows to formal methods. We are able to generate arbitrary but well formed references which allow us to execute self modifying Java Program inside the card. This Hostile Program is able to dump the complete Non Volatile Memory (NVM) memory segment. Then we develop a graphical representation of the objects belonging to the system for gaining abstraction of the binary dump.

Robb, David S. S. - One of the best experts on this subject based on the ideXlab platform.

  • The theory and implementation of a secure system
    The University of St Andrews, 2018
    Co-Authors: Robb, David S. S.
    Abstract:

    Computer viruses pose a very real threat to this technological age. As our dependence on computers increases so does the incidence of computer virus infection. Like their biological counterparts, complete eradication is virtually impossible. Thus all computer viruses which have been injected into the public domain still exist. This coupled with the fact that new viruses are being discovered every day is resulting in a massive escalation of computer virus incidence. Computer viruses covertly enter the system and systematically take control, corrupt and destroy. New viruses appear each day that circumvent current means of detection, entering the most secure of systems. Anti-Virus software writers find themselves fighting a battle they cannot win: for every hole that is plugged, another leak appears. Presented in this thesis is both method and apparatus for an Anti-Virus System which provides a solution to this serious problem. It prevents the corruption, or destruction of data, by a computer virus or other Hostile Program, within a computer system. The Anti-Virus System explained in this thesis will guarantee system integrity and virus containment for any given system. Unlike other anti-virus techniques, security can be guaranteed, as at no point can a virus circumvent, or corrupt the action of the Anti-Virus System presented. It requires no hardware modification of the computer or the hard disk, nor software modification of the computer's operating system. Whilst being largely transparent to the user, the System guarantees total protection against the spread of current and future viruses