2018-annual-report
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
60
SynCrypt
Automated Synthesis of Cryptographic Constructions
annual report
20
Funding: US Office of Naval Research (ONR), through Stanford University
Duration: 2015-2018
Project Coordinator: Res. Prof. Gilles Barthe
SynCrypt is a joint project with Stanford University, University of Pennsylvania, and
SRI, funded by ONR and which runs from September 2015 until March 2019. Syn-
Crypt is the continuation of AutoCrypt project and the budget allocated for IMDEA
Software is over 1 Million Euros. SynCrypt aims to develop synthesis techniques and
tools for cryptographic constructions, and for cryptographic implementations. Building
on their previous work, IMDEA researchers will develop synthesis tools for generating,
transforming, and hardening cryptographic constructions.
Within the project, the IMDEA Software team plans to extend their EasyCrypt tool
(http://www.easycrypt.info) to handle proof generation for lattice-based systems. This
will require a fair amount of enhancements to EasyCrypt. IMDEA will extend the logical
rules for proving security of cryptosystems to reason about noise growth and will
apply these tools to analyze lattice-based identity-based systems and attribute-based
encryption schemes.
EIT Digital Spain
EIT Digital Spain: Coordination and Joint Activities
Funding: Spanish Ministry of Economy, Industry, and Competitiveness
Duration: 2018-2020
Principal Investigator: Assoc. Res. Prof. Juan Caballero
This project continues the action of its predecessor granted in 2015 and aims to boost the activities of the
Spanish node of EIT Digital. The duties of IMDEA Software, as project beneficiary, focus on contributing to
the progress of the network in collaboration with the members of the node with a twofold objective: on the
one hand, to improve knowledge of the KIC possibilities in order to take maximal profit from the innovation
program, and on the other hand to spread the activities of the KIC in the National ICT sector at all levels: large
companies, SMEs, entrepreneurs, students, academia and researchers.