Ignacio Cascudo and Bernardo David have published ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing
June 11, 2020
Multiparty randomness generation protocols with guaranteed output delivery and public verification
[ Read More ]
Talk by Michael Greenberg: Executable Formal Semantics for the POSIX Shell
June 9, 2020
The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert’s control panel,...
[ Read More ]
Talk by Stefania Dumbrava: Mechanically Verified Graph Query Processing
June 9, 2020
Modern graph query engines are gaining momentum, driven by exponentially growing, interconnected data volumes that populate scientific and industrial repositories,...
[ Read More ]
Mechanically Verified Graph Query Processing
June 9, 2020
Modern graph query engines are gaining momentum, driven by exponentially growing, interconnected data volumes that populate scientific and industrial repositories,...
[ Read More ]
Executable Formal Semantics for the POSIX Shell
June 9, 2020
The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert’s control panel,...
[ Read More ]
Stable skyrmions in graphene-based epitaxial trilayers
June 5, 2020
Stable skyrmions in graphene-based epitaxial trilayers 05.06.2020 Intrinsic mixed Bloch-Néel character of skyrmions in Graphene-based confined nano-dot geometry for different...
[ Read More ]
A geospatial study identifies the most vulnerable areas to COVID-19
June 5, 2020
Some Spanish areas are more likely than others to suffer a coronavirus outbreak and, therefore, would require greater protection measures...
[ Read More ]
NUTRiIMDEA promoverá acciones preventivas en materia de salud pública
June 3, 2020
Wednesday, June 3, 2020 La nutrición personalizada debe ser considerada, más que nunca, un asunto público y una responsabilidad de...
[ Read More ]
Teresa Pérez joins the International Advisory Board of the European Space Agency
June 3, 2020
Our colleague María Teresa Pérez Prado has been appointed as a member of the International Advisory Board of the European...
[ Read More ]
Development of catalysts for the conversion of microalgae into biofuels
June 3, 2020
The use of biomass (agricultural and forest residues, energy crops, etc.) as a renewable energy source can reduce the dependence...
[ Read More ]
