• Aucun résultat trouvé

Preface

N/A
N/A
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Texte intégral

(1)

Preface

This volume contains the proceedings of the 5th Workshop on Formal Methods for Security (FMS) held in Tunis, Tunisia, June 23, 2014 as satellite event of Petri Nets 2014.

FMS is dedicated to the advancement of the theory and practice of formal methods for security.

We received 9 submissions. These submissions went through a rigorous review process; each submission was reviewed by at least 3 Program Committee members. The Program Committee members have selected 5 papers for publication. In addition to the five selected papers, two more papers were selected for an informal presentation at the workshop.

We also have the chance to welcome one invited talk by Mark Ryan « Du-Vote: Remote Electronic Voting with Untrusted Computers » (joint work with Gurchetan Grewal, Michael Clarkson, Liqun Chen).

We hope you will enjoy the FMS 2014 edition!

Véronique Cortier and Riadh Robbana

Références

Documents relatifs

I list technology solutions investigating behavioral change in the domain of smart home appliances (OpenFridge project), behavioral change towards reaching higher levels of

– Avoid stereotyping. Journalists should examine the ways their values and experiences may shape their reporting. We need to ask how values are built into these systems and what are

I will first present how to learn conceptual space representations from data, and then introduce some inductive reasoning techniques that use conceptual spaces together with

In the recent years we are witnessing a dominance of deep neural net- work learning approach in the machine learning field. Eventhough the neural network concept is more than 50

Subsidiarity has been part of EU law since 1993, but under the Lisbon treaty, national parliaments will be given powers for the first time to police adherence to it,

We discuss a simple machine with 4 states and 3 symbols that has no periodic orbit and how that machine can be embedded into other ones to prove undecidability results on

These were the 4 th International Workshop on Euler Diagrams (ED2014) and the 1 st International Workshop on Graph Visu- alization in Practice (GraphViP2014).. The complementary

CodeVoting proposes the use of a tamper resistant device without any human I/O capabilities, the Voter Security Token (VST), to perform a cryptographic voting protocol at client