Filters








31 Hits in 1.9 sec

Towards a hardware-assisted information flow tracking ecosystem for ARM processors [article]

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
2018 arXiv   pre-print
This work details a hardware-assisted approach for information flow tracking implemented on reconfigurable chips. Current solutions are either time-consuming or hardly portable (modifications of both sofware/hardware layers). This work takes benefits from debug components included in ARMv7 processors to retrieve details on instructions committed by the CPU. First results in terms of silicon area and time overheads are also given.
arXiv:1811.05465v1 fatcat:jvjnkc5eazhdfii3wcj33oszqi

A small and adaptive coprocessor for information flow tracking in ARM SoCs [article]

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapôtre, Guy Gogniat
2018 arXiv   pre-print
DIFT (Dynamic Information Flow Tracking) has been a hot topic for more than a decade. Unfortunately, existing hardware DIFT approaches have not been widely used neither by research community nor by hardware vendors. It is due to two major reasons: current hardware DIFT solutions lack support for multi-threaded applications and implementations for hardcore processors. This work addresses both issues by introducing an approach with some unique features: DIFT for multi-threaded software, virtual
more » ... mory protection (rather than physical memory as in related works) and Linux kernel support using an information flow monitor called RFBlare. These goals are accomplished by taking advantage of a notable feature of ARM CoreSight components (context ID) combined with a custom DIFT coprocessor and RFBlare. The communication time overhead, major source of slowdown in total DIFT time overhead, is divided by a factor 3.8 compared to existing solutions with similar software constraints as in this work. The area overhead of this work is lower than 1% and power overhead is 16.2% on a middle-class Xilinx Zynq SoC.
arXiv:1812.01541v1 fatcat:re7vqhee7zc7vh5u3mziw5f67a

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components [article]

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapôtre, Guy Gogniat
2018 arXiv   pre-print
Most of hardware-assisted solutions for software security, program monitoring, and event-checking approaches require instrumentation of the target software, an operation which can be performed using an SBI (Static Binary Instrumentation) or a DBI (Dynamic Binary Instrumentation) framework. Hardware-assisted instrumentation can use one of these two solutions to instrument data to a memory-mapped register. Both these approaches require an in-depth knowledge of frameworks and an important amount
more » ... software modifications in order to instrument a whole application. This work proposes a novel way to instrument an application with minor modifications, at the source code level, taking advantage of underlying hardware debug components such as CS (CoreSight) components available on Xilinx Zynq SoCs. As an example, the instrumentation approach proposed in this work is used to detect a double free security attack. Furthermore, it is evaluated in terms of runtime and area overhead. Results show that the proposed solution takes 30 μs on average to instrument an instruction while the optimized version only takes 0.014 us which is ten times better than usual memory-mapped register solutions used in existing works.
arXiv:1812.01667v1 fatcat:a2kvjywl5raqzkbgigtwlgeore

ARMHEx: A framework for efficient DIFT in real-world SoCs

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
2017 2017 27th International Conference on Field Programmable Logic and Applications (FPL)  
ARMHEx: a framework for efficient DIFT in real-world SoCs Muhammad Abdul Wahab α , Pascal Cotret α , Mounir Nasr Allah β , Guillaume Hiet β Vianney Lapôtre γ , Guy Gogniat γ α IETR, SCEE research group  ... 
doi:10.23919/fpl.2017.8056799 dblp:conf/fpl/WahabCAHLG17a fatcat:bwite5nijfh3jgod7o2lclku2m

Towards a hardware-assisted information flow tracking ecosystem for ARM processors

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat
2016 2016 26th International Conference on Field Programmable Logic and Applications (FPL)  
This work details a hardware-assisted approach for information flow tracking implemented on reconfigurable chips. Current solutions are either time-consuming or hardly portable (modifications of both sofware/hardware layers). This work takes benefits from debug components included in ARMv7 processors to retrieve details on instructions committed by the CPU. First results in terms of silicon area and time overheads are also given.
doi:10.1109/fpl.2016.7577396 dblp:conf/fpl/WahabCAHLG16 fatcat:4e4howgbvbej3hoqmsbtmn64pu

A small and adaptive coprocessor for information flow tracking in ARM SoCs

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney LapOtre, Guy Gogniat
2018 2018 International Conference on ReConFigurable Computing and FPGAs (ReConFig)  
DIFT (Dynamic Information Flow Tracking) has been a hot topic for more than a decade. Unfortunately, existing hardware DIFT approaches have not been widely used neither by research community nor by hardware vendors. It is due to two major reasons: current hardware DIFT solutions lack support for multi-threaded applications and implementations for hardcore processors. This work addresses both issues by introducing an approach with some unique features: DIFT for multi-threaded software, virtual
more » ... mory protection (rather than physical memory as in related works) and Linux kernel support using an information flow monitor called RFBlare. These goals are accomplished by taking advantage of a notable feature of ARM CoreSight components (context ID) combined with a custom DIFT coprocessor and RFBlare. The communication time overhead, major source of slowdown in total DIFT time overhead, is divided by a factor 3.8 compared to existing solutions with similar software constraints as in this work. The area overhead of this work is lower than 1% and power overhead is 16.2% on a middle-class Xilinx Zynq SoC.
doi:10.1109/reconfig.2018.8641695 dblp:conf/reconfig/WahabCAHBLG18 fatcat:zx5elrvskjblhfho6mj3jpk4we

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat, Arnab Kumar Biswas
2018 2018 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)  
Vianney Lapotre, et al.. A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components. Abstract Most of hardware-assisted solutions for software security, program monitoring, and event-checking approaches require instrumentation of the target software, an operation which can be performed using an SBI (Static Binary Instrumentation) or a DBI (Dynamic Binary Instrumentation) framework. Hardware-assisted instrumentation can use one of these two solutions
more » ... to instrument data to a memory-mapped register. Both these approaches require an in-depth knowledge of frameworks and an important amount of software modifications in order to instrument a whole application. This work proposes a novel way to instrument an application, at the source code level, taking advantage of underlying hardware debug components such as CS (CoreSight) components available on Xilinx Zynq SoCs. As an example, the instrumentation approach proposed in this work is used to detect a double free security attack. Furthermore, it is evaluated in terms of runtime and area overhead. Results show that the proposed solution takes 30 µs on average to instrument an instruction while the optimized version only takes 0.014 µs which is ten times better than usual memory-mapped register solutions used in existing works [1, 2] .
doi:10.1109/asianhost.2018.8607177 dblp:conf/asianhost/WahabCAHLGB18 fatcat:6bmpvnntpzb6ze5wioy7bpfqgi

An adaptive modulation scheme for image transmission over wireless channels

Rimas A. Zrae, Mohamed Hassan, Mohamed El-Tarhuni
2010 The 10th IEEE International Symposium on Signal Processing and Information Technology  
Sarhan, Hebat-Allah M.  ...  Nasr, Yehia M. Helmy Computer Networks Resilience Challenges: Routing Protocols Yehia H. Khalil, Adel S.  ... 
doi:10.1109/isspit.2010.5711814 dblp:conf/isspit/ZraeHE10 fatcat:kxa56hhiovalbictv6x6y2mbpa

'Le sous-titrage pour enfants : vers une meilleure éducation interculturelle'' (Le cas du sous-titrage vers le français de trois épisodes de la série égyptienne de dessins animés pour enfants Bakkar'')

Rim Hafez EL BAKARY
2017 مجلة الآداب والعلوم الإنسانیة  
En fait, nous avons maintenu le substantif Allah. pour rester fidèle à la culture de départ. - ϚΘϣϼγϲϠϋͿΪϤΣ Remercions Allah que tu es sain et sauve.  ...  Par cette chanson comme par bien d'autres, Mohamed Mounir a su devenir une figure nationale, et a ainsi ouvert la porte à d'autres artistes de la Nubie.  ... 
doi:10.21608/fjhj.2017.93701 fatcat:ldw643a63vbg3l3dlfg7k3bpom

Toward Inclusive Design Applications in Recreational Spaces for People with Disabilities in Egypt

2017 ERJ. Engineering Research Journal  
Accessibility inside the park Menna Allah Mounir, Asmaa Nasr El-Dien, Lamis El-Gezawy "Toward Inclusive Design Applicati…" Engineering Research Journal, Menoufiya University, Vol. 40, No. 4, October 2017  ... 
doi:10.21608/erjm.2017.66364 fatcat:truhhotlwvgdllvjgbws7f3hly

LE SOUS-TITRAGE POUR ENFANTS : VERS UNE MEILLEURE ÉDUCATION INTERCULTURELLE (LE CAS DU SOUS-TITRAGE VERS LE FRANÇAIS DE DEUX ÉPISODES DE LA SÉRIE ÉGYPTIENNE DE DESSINS ANIMÉS POUR ENFANTS « BAKKAR »)

ریم حافظ البقری
2019 مجلة الدراسات التربویة والإنسانیة  
ذمزٕب‬ ‫اىَظةزٗرح،‬ ْٜٕ 69 َ ‫طؼض‬ . ،َ ‫فزح‬ Exemple 17 : Louange à Allah !  ...  هلل‬ ‫اىذَض‬ Remercions Allah ! ‫طَل؟‬ ‫ربسض‬ ‫جبٛ‬ Tu viens prendre du poisson ? ‫  ... 
doi:10.21608/jehs.2019.201683 fatcat:343mlzk6nrgvrnkkcqjm34u4u4

HISTORY OF VETERINARY MEDICINE AMONG ARABS BEFORE ISLAM

Hadeel Ghaleb Abbas
2020 International journal of research in social sciences and humanities  
, the investigation of Abdul Salam Mohammed Harun, the first edition 1399 -1979, Dar al-Fikr, 2/78 39.Abu Bakr Mohammed bin al-Hasan bin Duraid al-Azdi, the mass of language, a symbolic investigation Mounir  ...  ibn Muhammad ibn Ahmad ibn Abi Zayd ibn al-Akhwa, al-Qurashi, Ziyya al-Din, al-Qurba in the request of al-Hesba, Dar al-Funun, p. 152, Abd al-Rahman ibn Nasr ibn Abdullah, Abu al-Najeeb, Jalal al-Din  ... 
doi:10.37648/ijrssh.v10i01.003 fatcat:gmx5bnre6nao3ntcfp2yykangi

Conference Program Summary

2021 2021 10th International Conference on Renewable Energy Research and Application (ICRERA)  
and thickened waste activated sludge with hydrodynamic cavitation pretreatment Hani Ezz (Egypt-Japan university of sciences and technology)*; Manabu Fujii (Tokyo Institute of Technology Tokyo); Mahmoud Nasr  ...  Maynila); Lemmuel Tayo (Mapúa University)* ID:47 Backstepping Approach Based on Direct Power Control of a DFIG in WECS Mazouz Farida (univ Batna 2)*; Belkacem Sebti (Batna 2 University); BOUKHALFA GHOULEM ALLAH  ... 
doi:10.1109/icrera52334.2021.9598638 fatcat:2t2m6lshovaxpfw6aioaikorb4

Rôle du paradigme imaginal dans l'architecture des zaouias

Ghada Chater
2016 Annales du Patrimoine  
Nasr qui soutient que : "Dans le domaine des arts et des sciences, le Soufisme a exercé une influence énorme...  ...  Croire en l'Unité telle qu'elle est exprimée dans le sens le plus universel possible par la "Shahadah" : "la ilâha ill Allâh" est une condition nécessaire pour tout musulman.  ... 
doaj:0edca71241764c999cbf761cca0b8101 fatcat:ffng3ihsw5c3hbbcm3po7mlidq

Reformbevægelsen: Liberal salafiyya i Marokko

Mounir Ainouz
2017 Tidsskrift for islamforskning  
I islam er tankefrihed, ifølge al-Fāsī, en forudsaetning for al menneskelig udvikling, så laenge det ikke underminerer Allahs suveraenitet.  ...  Tidsskrift for Islamforskning 11 (1) · 2017 · 108-127 Mounir Ainouz · Reformbevaegelsen: Liberal salafiyya i Marokko Tidsskrift for Islamforskning 11 (1) · 2017 · 108-127  ... 
doi:10.7146/tifo.v11i1.102876 fatcat:onquksmlqfgx5fc5w3hhucdj4a
« Previous Showing results 1 — 15 out of 31 results