2011 Grande Region Security and Reliability Day

Program

Note that the program has changed due to travel constraints by participants.

We have regular talks of 15=10+5 minutes and short talks of 10=7+3 minutes.

9:00-10:05 Session I (Chair: Michaël Rusinowitch)

Reliably Secure Business Process Specifications (regular)

Rafael Accorsi

Prêt à Voter with Confirmation codes (regular)

Peter Ryan

Towards Formalising Election Fairness (abstract) (regular)

Hugo Jonker and Ben Smyth

Verifiability, Privacy, and Coercion-Resistance: New Insights from a Case Study (short)

Ralf Küsters, Tomasz Truderung, and Andreas Vogt

Imperfect Information and Intention in Non-Repudiation Protocols (short)

Wojciech Jamroga, Sjouke Mauw and Matthijs Melissen

10:05-10:35 Coffee Break and Poster Session

10:35-11:35 Session II: Invited Talk (Chair: Ralf Küsters)

Leakage-resilient Stream Ciphers: an Overview

Olivier Pereira, UCL, Belgium

11:35-12:35 Session III (Chair: Peter Ryan)

On Constructing Homomorphic Encryption Schemes from Coding Theory (regular)

Frederik Armknecht, Daniel Augot, Ludovic Perret and Ahmad-Reza Sadeghi

On the Complexity of a Learning Problem Induced by a Lightweight Cryptographic Construction (regular)

Matthias Hamann and Matthias Krause

Computationally Sound Abstraction and Verification of Secure Multi-Party Computations (regular)

Michael Backes, Matteo Maffei and Esfandiar Mohammadi

Oblivious Third Parties in the IITM Setting (regular)

Jan Camenisch, Kristiyan Haralambiev, Markulf Kohlweiss, Jorn Lapon and Vincent Naessens

12:35-14:00 Lunch Break

14:00-15:25 Session IV (Chair: Tomasz Truderung)

Hiding in Groups: Anonymity-Preserving Electronic Toll Pricing (regular)

Xihui Chen, Lenzini Gabriele, Sjouke Mauw and Jun Pang

A Security API for Distributed Social Networks (regular)

Michael Backes, Matteo Maffei and Kim Pecina

TPM-based Approaches to Improve Cloud Security (regular)

Benoit Bertholon, Sebastien Varrette and Pascal Bouvry

Resource-aware Authorization Policies for Statically Typed Cryptographic Protocols (regular)

Michele Bugliesi, Stefano Calzavara, Fabienne Eigner and Matteo Maffei

Combining Decision Procedures for Symbolic Equivalence (regular)

Yannick Chevalier

Automatic Services Orchestration under Security Constraints (short)

Tigran Avanesov, Yannick Chevalier, Mekki Mohamed Anis, Michael Rusinowitch and Mathieu Turuani

15:25-16:00 Coffee Break and Poster Session

16:00-17:45 Session V (Chair: Sjouke Mauw)

Efficient DHT attack mitigation through peers' ID distribution (regular)

Thibault Cholez, Isabelle Chrisment and Olivier Festor

Secure Node Lookups in Anonymization Networks (regular)

Andriy Panchenko

SDI: Steganography with Diffusion Inpainting (regular)

Michael Backes, Matthias Berg, Markus Mainberger, Christian Schmaltz and Joachim Weickert

Towards Safe Strategies for Controlling Access to XML Documents (regular)

Mahfoud Houari and Abdessamad Imine

Automatic verification of TLA+ proof obligations with SMT-solvers (regular)

Stephan Merz and Hernán Vanzetto

Validation of Formal Specification: the Case for Animation (short)

Atif Mashkoor, Faqing Yang and Jean-Pierre Jacquot

NetPower DemoLab - A Test Bed Infrastructure for Security and Reliability Investigations of SCADA Systems (short)

Markus Jostock and Jürgen Sachau

An Autonomic Testing Framework for IPv6 Conguration Protocols (short)

Sheila Becker, Humberto Abdelnur, Radu State and Thomas Engel

17:45: Concluding Remarks

Posters

PeekKernelFlows: Peeking into IP Flows

Cynthia Wagner, Gerard Wagener, Radu State and Thomas Engel

Stepwise Development of Distributed Vertex Colouring Algorithms (Abstract)

Manamiary Bruno Andriamiarina and Dominique Mery

Self-learning based Intrusion Detection

Wei Wang