A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
SSEL: An Extensible Specification Language for SoC Security
A critical component of System-on-Chip (SoC) design entails specification of security requirements for trustworthy system operation. In this paper, we address this problem through the design of a new Security Specification Language (SSEL) to standardize the definition and implementation of SoC security requirements. We demonstrate that a viable path to the development of such a language is to build it on top of an existing programming language, extending a subset of the underlying language constructs and introducing new security-specific constructs as APIs. SSEL realizes this idea by building on top of a subset of C. We show how SSEL constructs can be used to develop executable specifications of a diverse set of usecases in modern SoC platforms. We show the application of SSEL in designing specifications for unlocking Logic Locked (LL)IPs, Authentication, and Secure Boot.
SSEL: An Extensible Specification Language for SoC Security
A critical component of System-on-Chip (SoC) design entails specification of security requirements for trustworthy system operation. In this paper, we address this problem through the design of a new Security Specification Language (SSEL) to standardize the definition and implementation of SoC security requirements. We demonstrate that a viable path to the development of such a language is to build it on top of an existing programming language, extending a subset of the underlying language constructs and introducing new security-specific constructs as APIs. SSEL realizes this idea by building on top of a subset of C. We show how SSEL constructs can be used to develop executable specifications of a diverse set of usecases in modern SoC platforms. We show the application of SSEL in designing specifications for unlocking Logic Locked (LL)IPs, Authentication, and Secure Boot.
SSEL: An Extensible Specification Language for SoC Security
Raj, Kshitij (author) / Hegde, Arrush (author) / Deb Nath, Atul Prasad (author) / Bhunia, Swarup (author) / Ray, Sandip (author)
2021-12-16
1176251 byte
Conference paper
Electronic Resource
English
XFDL: The Extensible Forms Description Language
| British Library Online Contents | 1999
eXtensible Business Reporting Language (XBRL) Tutorial
| British Library Conference Proceedings | 2007
Movable and extensible confidential information security management platform
| European Patent Office | 2024
Specifications: Specification Language
| British Library Online Contents | 1997
| British Library Online Contents | 2008