Daniel Le Métayer - Böcker

Privacy Risk Analysis fills a gap in the existing literature by providing an introduction to the basic notions, requirements, and main steps of conducting a privacy risk analysis.The deployment of new information technologies can lead to significant privacy risks and a privacy impact assessment should be conducted before designing a product or system that processes personal data. However, if existing privacy impact assessment frameworks and guidelines provide a good deal of details on organizational aspects (including budget allocation, resource allocation, stakeholder consultation, etc.), they are much vaguer on the technical part, in particular on the actual risk assessment task. For privacy impact assessments to keep up their promises and really play a decisive role in enhancing privacy protection, they should be more precise with regard to these technical aspects.This book is an excellent resource for anyone developing and/or currently running a risk analysis as it defines the notions of personal data, stakeholders, risk sources, feared events, and privacy harms all while showing how these notions are used in the risk analysis process. It includes a running smart grids example to illustrate all the notions discussed in the book.

This book constitutes the thoroughly refereedpost-conference proceedings of the Third Annual Privacy Forum, APF 2015, heldin Luxembourg, Luxembourg, in October 2015. The 11 revised full papers presented in this volume werecarefully reviewed and selected from 24 submissions.

This book constitutes the refereed proceedings of the 11th European Symposium on Programming, ESOP 2002, held in Grenoble, France, in April 2002. The 21 revised full papers presented together with an abstract of an invited paper were carefully reviewed and selected from 73 submissions. The papers are organized in topical sections on typing and modularity, programming paradigms, lambda calculus, program analysis applications, program analysis principles, and verification and analysis of distributed programs.

The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and from a practical point of view. The software development process is studied and a brief introduction to functional programming and languages is provided. Functional programming tends to promote locality which makes it possible to reason about a component of a program, independent of the rest of the program. The significance of the functional approach for formal program manipulation is illustrated by two important techniques, abstract interpretation and program transformation. Abstract interpretation is applied to the compilation of memory management and program transformation is illustrated with many applications such as program correctness proofs, program analysis and compilation. A correct compiler is described entirely in terms of program transformations. Regarding program construction, it is shown that input/output and state-oriented problems can be described in a purely functional framework.

This volume contains most of the papers presented at theworkshop on research directions in high-level parallelprogramming languages, held at Mont Saint-Michel, France, inJune 1991. The motivation for organizing this workshop camefrom the emergence of a new class of formalisms fordescribing parallel computations in the last few years. Linda, Unity, Gamma, and the Cham are the most significantrepresentatives of this new class. Formalisms of this familypromote simple but powerful language features for describingdata and programs. These proposals appeared in differentcontexts and were applied in different domains, and the goalof the workshop was to review the status of this new fieldand compare experiences. The workshop was organized intofour main sessions: Unity, Linda, Gamma, and ParallelProgram Design. The corresponding parts ofthe volume areintroduced respectively by J. Misra, D. Gelernter, D. LeM tayer, and J.-P. Ban tre.