2018-annual-report

More documents

Recommendations

Info

68POSTPOST: Novel Constructions of Proof-of-Spacetimeannual report20Funding: Protocol LabsDuration: 2018-2019Principal Investigators: Asst. Res. Prof. Dario Fiore – Post. Res. Matteo CampanelliProofs of Space Time (PoST) allow a user to show she has been storing a file for a certain amount of time.They are an important building block of the FileCoin protocol. Current constructions for PoST are based on thefollowing paradigm: iterate a Proof of Replication (PoRep) and prove that all the repetitions are correct througha SNARK system. Unfortunately, applying even a state-of-art general purpose SNARK would result in PoSTwith impractical performances on the prover’s side. The goal of this project is to design new PoST developingnew SNARKs that are especially tailored to Proofs of Replication and their iteration.INTELInformation Flow Tracking across the Hardware-SoftwareBoundaryFunding: Intel CorporationDuration: 2018-2021Principal Investigators: Asst. Res. Prof. Boris Köpf – Post.Res. Marco Guarnieri.This project focuses on the development of a novel, principled approach for software defenses against SPECTRE-styleattacks. Its key feature is that it is backed by semantic security guarantees, yet it does not require programmers to provideany specification or annotations. It will pave the way to formally characterize the security guarantees envisioned by theproject; these will lead to a blueprint for the design, implementation, and evaluation of program analysis techniquesto detect this kind of attacks. The project is completely funded by Intel, and puts together a team from the IMDEASoftware Institute, the University of Saarland, the Catholic University of Leuven, and the Technical University of Graz.NECSecure Cloud Storage with Controlled ComputationFunding: NECDuration: 2018-2019Principal Investigator: Asst. Res. Prof. Dario FioreIMDEA researchers have started a research program funded by NEC to investigate in two major directions. Onthe one side, they plan to devise cryptographic schemes that reconciliate user privacy with the great computationalpower of cloud providers that is key in computations over large data sets. On the other hand, they willinvestigate what benefits can secure hardware provide in this context and how secure hardware can improvethe provisions of cryptographic protocols for cloud storage.
Some companies with which the IMDEA Software Institutehas collaborated through projects and contracts to date69Project/Contract Funding Entity Industrial PartnersMOBIUS FP6: IP France Telecom, SAP AG, Trusted LabsHATS PF7: IP Fredhopperannual report20NESSoS PF7: NoE Siemens, ATOSES_PASS(Through an ITEA2, MITyC Airbus France, Thales Avionics, CS Systèmes d’Information, Daimler AG,associated groupPSA Peugeot Citroen, Continental, Siemens VDO Automotive, EADSat UPM.)Astrium, GTD, Thales Transportation, and IFB BerlinEzWeb MITyC Telefónica I+D, Alimerka, Integrasys, Codesyntax, TreeLogic, IntercomFactory, GESIMDE, Yaco, SoftTelecomDESAFIOS-10 MICINN BBVA-GlobalNet, LambdaStream, Deimos SpacePROMETIDOS Madrid Regional Deimos Space, Atos Origin, BBVA-GlobalNet, Thales, Telefónica I+DGovernmentMTECTEST Madrid Regional Deimos SpaceGovernmentSEIF awards Microsoft SEIF Microsoft ResearchPh.D. Scholarships Microsoft Microsoft ResearchENTRA FP7: STREP XMOSVARIES FP7: ARTEMIS Barco NV, HI iberia, IntegraSys, Tecnalia, Sirris, Spicer, FraunhoferGesellschaft, Pure-Systems Gmbh, STiftelsen Sintef, Autronica,Franders Mechatronics Technology Centre, Atego Systems, TeknologiaTutkimuskeskus VTT, Mobisoft, HIQ Finland, Softkinetic Sensors, Macq,Metso Automation.4CaaST FP7: IP Telefónica I+D, SAP, France Telecom, Telecom Italia, Ericsson, Nokia-Siemens, Bull SAS, 2nd Quadrant, FlexiantPOLCA FP7: STReP Maxeler, RecoreCadence EIT Reply SpAFI-PPP-Liaison EIT Engineering Ingegneria Informatica SpA, Orange, Thales, Create-NetNEXTLEAP H2020 Merlinux
Page 1 and 2:
science and technologyfor developin
Page 3 and 4:
any scientific discipline, it is mo
Page 5 and 6:
265416128motivationand goalsmembers
Page 7 and 8:
7annual report2062researchers26PhD
Page 9 and 10:
from Cambridge University found tha
Page 11 and 12:
11annual report20ourstructure
Page 13 and 14:
ourstructure13annual report20Expert
Page 15 and 16:
The location of the new IMDEA Softw
Page 17 and 18: Academic Institutions with which IM
Page 19 and 20: Other Industrial Funding and Collab
Page 21 and 22: 21UniversidadComplutenseannual repo
Page 23 and 24: Program Analysisand Verification23O
Page 25 and 26: Securityand Privacy25The ever-incre
Page 27 and 28: Madrid Flight on Chip27The project
Page 29 and 30: Narrowing the Data/Compute Gapwith
Page 31 and 32: 31annual report2017facultymembers16
Page 33 and 34: 33annual report20Manuel Hermenegild
Page 35 and 36: 35annual report20César SánchezAss
Page 37 and 38: 37annual report20Alessandra GorlaAs
Page 39 and 40: postdoctoral39Research InterestsIn
Page 41 and 42: 41annual report20Ignacio FábregasP
Page 43 and 44: 43annual report20Marco GuarnieriPos
Page 45 and 46: research45Research Assistants hold
Page 47 and 48: 47annual report20Raúl AlborodoRese
Page 49 and 50: Intern Period NationalityChana Weil
Page 51 and 52: 51annual report20Javier BenitoBusin
Page 53 and 54: & administration53annual report20Ma
Page 55 and 56: An important source of funding and
Page 57 and 58: 57annual report20HelsinkiStockholmE
Page 59 and 60: EIT Digital Spain staff, during 201
Page 61 and 62: N-GREENSNext-Generation Energy-Effi
Page 63 and 64: NEXTLEAPNEXt Generation Technosocia
Page 65 and 66: AxE JavascriptAuditable E-voting us
Page 67: MathadorType and Proof Structures f
Page 71 and 72: fellowships71annual report201. Ram
Page 73 and 74: MadridFlightOnChipConsortium Madrid
Page 75 and 76: 75annual report20
Page 77 and 78: 8. Andrea Cerone, Alexey Gotsman. A
Page 79 and 80: 34. Konstantin Kuznetsov, Vitalii A
Page 81 and 82: 56. César Sánchez. Online and Off
Page 83 and 84: gent Theories. 32nd International W
Page 85 and 86: 6. Alexey Gotsman. Tutorial: Consis
Page 87 and 88: 26. Joseph Izraelevitz. Distributed
Page 89 and 90: 16. Antonio Nappa. Researcher, Mins
Page 91 and 92: John Gallagher:1. Area Editor, Theo
Page 93 and 94: 3.4 Association and OrganizationCom
Page 95 and 96: 4. Abstract Interpretation (Master
Page 97 and 98: International Day of Womenand Girls
Page 99: EUROPEAN UNIONEuropean Structural a
show all

2018-annual-report

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?