|
|
Depot Institutionnel de l'UMBB >
Browsing by Author Lanet, Jean-Louis
Showing results 1 to 10 of 10
| Date de publication | Titre | Auteur(s) | | 2017 | A formal verification of dynamic updating in a Java-based embedded system | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2017 | A formal verification of safe update point detection in dynamic software updating | Lounas, Razika; Jafri, Nisrine; Legay, Axel; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2017 | The hell forgery : self modifying codes shoot Again | Mesbah, Abdelhak; Regnaud, Leo; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2020 | Hiding a fault enabled virus through code construction | Hamadouche, Samiya; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2017 | Machine learning techniques to predict sensitive patterns to fault attack in the Java Card application | Yahaoui, Chehrazed; Lanet, Jean-Louis; Mezghiche, Mohamed; Tamine, Karim |
| 2017 | Persistent fault injection attack from white-box to black-box | Mesbah, Abdelhak; Mezghiche, Mohamed; Lanet, Jean-Louis |
| 2013 | Recognition of sensitive patterns to the fault attack in the java card application | Yahiaoui, Chahrazed; Lanet, Jean-Louis; Mezghiche, Mohamed; Tamine, Karim |
| 2017 | Reverse engineering a Java Card memory management algorithm | Mesbah, Abdelhak; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2017 | Reverse engineering Java Card and vulnerability exploitation : a shortcut to ROM | Mesbah, Abdelhak; Lanet, Jean-Louis; Mezghiche, Mohamed |
| 2013 | Towards a general framework for formal reasoning about java bytecode transformation | Lounas, Razika; Mezghiche, Mohamed; Lanet, Jean-Louis |
Showing results 1 to 10 of 10
|
