Foundations of Security Analysis and Design VII

Overview of attention for book

Cover of 'Foundations of Security Analysis and Design VII'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Model-Based Testing for Functional and Security Test Generation
Altmetric Badge

Chapter 2 Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models
Altmetric Badge

Chapter 3 Automatic Verification of Security Protocols in the Symbolic Model: The Verifier ProVerif
Altmetric Badge

Chapter 4 Foundations of Security Analysis and Design VII
Altmetric Badge

Chapter 5 Information Flow Control for Web Scripts
Altmetric Badge

Chapter 6 EasyCrypt : A Tutorial
Altmetric Badge

Chapter 7 Cryptographic Voting — A Gentle Introduction
Altmetric Badge

Chapter 8 Encryption and Fragmentation for Data Confidentiality in the Cloud
Altmetric Badge

Chapter 9 Location Privacy in WSNs: Solutions, Challenges, and Future Trends

Attention for Chapter 6: EasyCrypt : A Tutorial

Altmetric Badge

Mentioned by

twitter: 1 X user

Citations

dimensions_citation: 3 Dimensions

Readers on

mendeley: 25 Mendeley

Summary X Dimensions citations

So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

Protecting SOME/IP Communication via Authentication Ticket

Article in Sensors (July 2023)

Design and practical implementation of verify‐your‐vote protocol

Article in Concurrency and Computation Practice and Experience (June 2020)

Towards Fake Sources for Source Location Privacy in Wireless Sensor Networks with Multiple Sources

Conference proceeding (December 2016)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.