Reconfigurable systems self-healing using mobile hardware agents

Benso, Alfredo; Cilardo, Alessandro; Mazzocca, Nicola; Miclea, Liviu; Prinetto, P.; Enyedi, Szilard

doi:10.1109/test.2005.1584007

Cited by 3 publications

(1 citation statement)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Dynamic update of logical hardware components reduces the time window to perform an attack and the time frame in which a successful attack remains in action, thus limiting the possibility of massive spreading of tampered applications. Reconfigurable computing coupled with dynamic hardware updates opens up a range of new opportunities for distributed embedded systems, including the possibility of achieving adaptability, functionality extension, and security [8]. It is worth mentioning here that the proposed solution does not provide a provable software security schema.…”

Section: Introductionmentioning

confidence: 99%

FPGA-Based Remote-Code Integrity Verification of Programs in Distributed Embedded Systems

Basile

Carlo

Scionti

2012

IEEE Trans. Syst., Man, Cybern. C

View full text Add to dashboard Cite

The explosive growth of networked embedded systems makes ubiquitous and pervasive computing a reality. However, there are still a number of new challenges to its widespread adoption that include scalability, availability, and, especially, security of software. Among the different challenges in software security, the problem of remote code integrity verification is still waiting for efficient solutions. This paper proposes the use of reconfigurable computing to build a consistent architecture for generating attestations (proofs) of code integrity for an executing program, and for delivering them to the designated verification entity. Remote dynamic update of reconfigurable devices is also exploited to increase the complexity of mounting attacks in a real-word environment. The proposed solution perfectly fits embedded devices that are nowadays commonly equipped with reconfigurable hardware components exploited for solving different computational problems.

show abstract

Section: Introductionmentioning

confidence: 99%