Implementing a hardware‐assisted memory management mechanism for ARM platforms using the B method
Article in Concurrency and Computation Practice and Experience (August 2018)
Security, Privacy, and Applied Cryptography Engineering
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Three Design Dimensions of Secure Embedded Systems
-
Altmetric BadgeChapter 2 Investigating the Application of One Instruction Set Computing for Encrypted Data Computation
-
Altmetric BadgeChapter 3 Alphanumeric Shellcode Generator for ARM Architecture
-
Altmetric BadgeChapter 4 SIMD-Based Implementations of Sieving in Integer-Factoring Algorithms
-
Altmetric BadgeChapter 5 Strong Security and Privacy of RFID System for Internet of Things Infrastructure
-
Altmetric BadgeChapter 6 Correlation-Immune Boolean Functions for Leakage Squeezing and Rotating S-Box Masking against Side Channel Attacks
-
Altmetric BadgeChapter 7 A Time Series Approach for Profiling Attack
-
Altmetric BadgeChapter 8 Algorithms for Switching between Boolean and Arithmetic Masking of Second Order
-
Altmetric BadgeChapter 9 Identity-Based Identification Schemes from ID-KEMs
-
Altmetric BadgeChapter 10 Anonymous Identity-Based Identification Scheme in Ad-Hoc Groups without Pairings
-
Altmetric BadgeChapter 11 Dynamic Attribute Based Group Signature with Attribute Anonymity and Tracing in the Standard Model
-
Altmetric BadgeChapter 12 From Selective-ID to Full-ID IBS without Random Oracles