↓ Skip to main content
What is this page? Embed badge

Cyber-Physical Systems Security

Overview of attention for book
Cover of 'Cyber-Physical Systems Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Robust Digital Computation in the Physical World
  3. Altmetric Badge
    Chapter 2 Constraint-Based Framework for Reasoning with Differential Equations
  4. Altmetric Badge
    Chapter 3 Approximate Computing and Its Application to Hardware Security
  5. Altmetric Badge
    Chapter 4 Mathematical Optimizations for Deep Learning
  6. Altmetric Badge
    Chapter 5 A Zero-Entry Cyber Range Environment for Future Learning Ecosystems
  7. Altmetric Badge
    Chapter 6 Parallel Programming in Cyber-Physical Systems
  8. Altmetric Badge
    Chapter 7 Automatic Application of Software Countermeasures Against Physical Attacks
  9. Altmetric Badge
    Chapter 8 Time-Delay Attacks in Network Systems
  10. Altmetric Badge
    Chapter 9 Attack Tree Construction and Its Application to the Connected Vehicle
  11. Altmetric Badge
    Chapter 10 Reinforcement Learning and Trustworthy Autonomy
  12. Altmetric Badge
    Chapter 11 Identifier Randomization: An Efficient Protection Against CAN-Bus Attacks
  13. Altmetric Badge
    Chapter 12 Public Key-Based Lightweight Swarm Authentication
  14. Altmetric Badge
    Chapter 13 Physical Security Versus Masking Schemes
  15. Altmetric Badge
    Chapter 14 Embedded Classifiers for Energy-Constrained IoT Network Security
  16. Altmetric Badge
    Chapter 15 Challenges in Cyber Security: Ransomware Phenomenon
  17. Altmetric Badge
    Chapter 16 Applying Model-Based Situational Awareness and Augmented Reality to Next-Generation Physical Security Systems
Attention for Chapter 2: Constraint-Based Framework for Reasoning with Differential Equations
Altmetric Badge

Citations

dimensions_citation
10 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Constraint-Based Framework for Reasoning with Differential Equations
Chapter number 2
Book title
Cyber-Physical Systems Security
Published by
Springer, Cham, December 2018
DOI 10.1007/978-3-319-98935-8_2
Book ISBNs
978-3-31-998934-1, 978-3-31-998935-8
Authors

Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier, Alexandre dit Sandretto, Julien, Chapoutot, Alexandre, Mullier, Olivier

View on publisher site

This page is provided by Altmetric.