↓ Skip to main content

Engineering Secure Software and Systems

Overview of attention for book
Cover of 'Engineering Secure Software and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Security Testing Beyond Functional Tests
  3. Altmetric Badge
    Chapter 2 Progress-Sensitive Security for SPARK
  4. Altmetric Badge
    Chapter 3 Sound and Precise Cross-Layer Data Flow Tracking
  5. Altmetric Badge
    Chapter 4 Automatically Extracting Threats from Extended Data Flow Diagrams
  6. Altmetric Badge
    Chapter 5 On the Static Analysis of Hybrid Mobile Apps
  7. Altmetric Badge
    Chapter 6 Semantics-Based Repackaging Detection for Mobile Apps
  8. Altmetric Badge
    Chapter 7 Accelerometer-Based Device Fingerprinting for Multi-factor Mobile Authentication
  9. Altmetric Badge
    Chapter 8 POODLEs, More POODLEs, FREAK Attacks Too: How Server Administrators Responded to Three Serious Web Vulnerabilities
  10. Altmetric Badge
    Chapter 9 HexPADS: A Platform to Detect “Stealth” Attacks
  11. Altmetric Badge
    Chapter 10 Analyzing the Gadgets
  12. Altmetric Badge
    Chapter 11 Empirical Analysis and Modeling of Black-Box Mutational Fuzzing
  13. Altmetric Badge
    Chapter 12 On the Security Cost of Using a Free and Open Source Component in a Proprietary Product
  14. Altmetric Badge
    Chapter 13 Idea: Usable Platforms for Secure Programming – Mining Unix for Insight and Guidelines
  15. Altmetric Badge
    Chapter 14 AppPAL for Android
  16. Altmetric Badge
    Chapter 15 Inferring Semantic Mapping Between Policies and Code: The Clue is in the Language
  17. Altmetric Badge
    Chapter 16 Idea: Supporting Policy-Based Access Control on Database Systems
  18. Altmetric Badge
    Chapter 17 Idea: Enforcing Security Properties by Solving Behavioural Equations
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
twitter
1 X user

Readers on

mendeley
34 Mendeley
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.
Title
Engineering Secure Software and Systems
Published by
Springer International Publishing, January 2016
DOI 10.1007/978-3-319-30806-7
ISBNs
978-3-31-930805-0, 978-3-31-930806-7
Editors

Juan Caballero, Eric Bodden, Elias Athanasopoulos

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 34 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 34 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 9%
Other 1 3%
Student > Doctoral Student 1 3%
Student > Master 1 3%
Unknown 28 82%
Readers by discipline Count As %
Computer Science 4 12%
Business, Management and Accounting 1 3%
Unknown 29 85%