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:
Topics of interest include, but are not limited to:
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.
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.