Grande Region Security and Reliability Day 2017

March 9, 2017 – University of Luxembourg

logo logo logo

General information

Security and reliability are interdisciplinary areas, drawing from several fields: mathematics (number theory, statistics, logic), computer science (algorithms, information theory, cryptology, formal methods, computational complexity, software engineering), electrical engineering (electronics, signal acquisition and processing, secure hardware design), management (security and quality policies, risk assessment) and social aspects (security awareness, ethical and legal issues, privacy).

The objective of the Grande Region Security and Reliability Day (GRSRD) is to increase scientific interaction in security and reliability at the regional level. The workshop provides a platform for exchange of ideas, discussion and co-operation. It focuses on the Grande Region, but is open to submissions and participation of the whole scientific community working in security and reliability. This year, the GRSRD is jointly organized by University of Luxembourg, LORIA-INRIA Nancy, and Saarland University.

Previous editions of GRSRD were held in:

logo logo logo logo

Scope of the workshop

Topics of interest include, but are not limited to:

  • Information security and cryptology
  • Communication and network security
  • System security and reliability
  • Formal methods in security and reliability
  • Access, information flow and usage control
  • Security and privacy policies
  • Data mining for security and privacy
  • Building secure and reliable software systems
  • Trust models and trust management
  • Fault tolerance
  • Risk management and business processes
  • Regulatory compliance
  • Socio-technical aspects of security

Invited speaker

Dominique Unruh, University of Tartu, Estonia

Title: Fiat-Shamir and the Quantum Forking Conjecture

Abstract: Fiat-Shamir is a popular construction in classical cryptography for constructing signature schemes (and non-interactive proof systems). However, when considering security against quantum attackers, the security of Fiat-Shamir is largely unknown; all we know are negative results for various cases. In the present talk, we show progress towards a security proof for Fiat-Shamir. We introduce a new conjecture, the "Quantum Forking Conjecture" (QFC). The QFC is a problem in quantum query complexity. We show that if the QFC holds, then Fiat-Shamir is secure. This reduces a complex cryptographic question (involving quantum polynomial-time adversaries etc.) to a (hopefully simpler) query complexity problem.

Important dates

Submissions

Prospective authors are encouraged to submit an extended abstract of 1–2 pages using EasyChair

The workshop will not have formal proceedings. Therefore, abstracts submitted to the GRSRD 2017 may report on work in progress, be submitted to other places, and they may even already have appeared or been accepted elsewhere. We particularly welcome submissions that have the potential to stimulate the scientific interaction within the Grande Region. The reviewing process will mainly determine whether a submitted abstract promises to fit into the scope of this workshop. This will be the major reason for acceptance of presentation.

The authors of the papers accepted for presentation at GRSRD 2017 will be invited to submit the final versions of their abstracts for an on-line publication at this web page.

Program chairs

Program committee

Local organisation