Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part I: Framework Fundamentals

Bidmeshki, Mohammad-Mahdi; Guo, Xiaolong; Dutta, Raj Gautam; Jin, Yier; Makris, Yiorgos

doi:10.1109/tifs.2017.2707323

Cited by 22 publications

(9 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…But encryption is not enough because data is still vulnerable for attacks such as eavesdropping. To prevent this kind of behavior, encryption have to be enforced with access control policy at its base station [31] [32].…”

Section: Discussionmentioning

confidence: 99%

A Survey On Security In Wireless Sensor Network

et al. 2019

View full text Add to dashboard Cite

With the global use of wireless sensor network technology in different fields and for different purposes such as health care monitoring, earth sensing, air pollution monitoring, military operations monitoring or surveillance system monitoring, a problem arises. Problem that could negatively impact previously started activities and observations if not handled in a right way. Authors of this paper discuss various vulnerabilities and security threads in different applications of WSN in the real world, such as intrusion, node capture attack, black hole attack or selective forwarding attack. Potential countermeasures are proposed formatted as protocols or architectures for secure transfer of data between friendly nodes, compromises on security measures with the goal of achieving secure and reliable connection. This paper could be used as a general representation of WSN security issue with which WSN engineers are faced on a daily basis.

show abstract

Section: Discussionmentioning

confidence: 99%

A Survey On Security In Wireless Sensor Network

et al. 2019

View full text Add to dashboard Cite

show abstract

“…We believe that this is a reasonable assumption in a scenario where the IP provider may disclose IP cores to allow the customer to verify the fulfilment of a previously agreed trustworthiness level. Such assumption is the same as in several hardware securityrelated papers working both at the HDL [26,27] and netlist level [28,29]. Finally, in the increasing trend of Open Hardware, it is common to share IP designs.…”

Section: Hardware Trojansmentioning

confidence: 92%

Securing RSA hardware accelerators through residue checking

Lasheras

Canal

Rodríguez

et al. 2021

Microelectronics Reliability

View full text Add to dashboard Cite

“…IFT-based methods have been also developed for hardware trustworthiness, targeting the RTL designs. Proof-Carrying Hardware (PCH) [4,21,27,32] veriies the equivalence between the design speciication and its implementation using run-time Combinational Equivalence Checking (CEC). However, converting RTL code to a formal representation and developing proofs for security properties, requires additional knowledge of formal methods, theorem proving environments, and proof-writing.…”

Section: Related Workmentioning

confidence: 99%

Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL

Goli¹,

Drechsler

2024

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

Virtual Prototypes (VPs) at the Electronic System Level (ESL) are being increasingly adopted by the semiconductor industry and play an important role in modernizing the System-on-Chips (SoCs) design flow to raise design productivity and reduce time-to-market constraints. Due to their early availability and significantly faster simulation speed in comparison to Register Transfer Level (RTL) designs, VPs are used as reference models for lower levels of abstraction. Leveraging VPs and extending their use-cases for early security validation are shown as a promising direction. As the cost of fixing any security flaws increases with the stage of development, VP-based security validation can significantly avoid costly iterations. In this paper, we present a novel VP-based dynamic information flow analysis approach at the ESL, consisting of three main phases which are run-time behavior extraction (in terms of transactions), transactions transformation, and security validation. The proposed approach empowers designers to validate the information flow policies of a given VP-based SoC against the most occurring security threat models which are information leakage (confidentiality) and unauthorized access to data in a memory (integrity). Experimental results including an extensive set of standard benchmarks and two real-world VP-based SoCs demonstrate the scalability and applicability of the proposed approach.

show abstract

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part I: Framework Fundamentals

Cited by 22 publications

References 24 publications

A Survey On Security In Wireless Sensor Network

A Survey On Security In Wireless Sensor Network

Securing RSA hardware accelerators through residue checking

Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL

Contact Info

Product

Resources

About