ERC FUNDED PROJECTS

The constantly increasing number of attacks on web applications shows how their rapid development has not been accompanied by adequate security foundations and demonstrates the lack of solid security enforcement tools. Indeed, web applications expose a gigantic attack surface, which hinders a rigorous understanding and enforcement of security properties. Hence, despite the worthwhile efforts to design secure web applications, users for a while will be confronted with vulnerable, or maliciously crafted, code. Unfortunately, end users have no way at present to reliably protect themselves from malicious applications. BROWSEC will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. In particular, BROWSEC will deliver the first client-side tool to secure web applications that is practical, in that it is implemented as an extension and can thus be easily deployed at large, and also provably sound, i.e., backed up by machine-checked proofs that the tool provides end users with the required security guarantees. At the core of the proposal lies a novel monitoring technique, which treats the browser as a blackbox and intercepts its inputs and outputs in order to prevent dangerous information flows. With this lightweight monitoring approach, we aim at enforcing strong security properties without requiring any expensive and, given the dynamic nature of web applications, statically infeasible program analysis. BROWSEC is thus a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.

1 990 000 €

Start date: 2018-06-01, End date: 2023-05-31

The quantum technology revolution promises a transformational impact on the society and economics worldwide. It will enable breakthrough advancements in such diverse fields as secure communications, computing, metrology, and imaging. Quantum photonics, which recently received an incredible boost by the use of integrated optical circuits, is an excellent technological platform to enable such revolution, as it already plays a relevant role in many of the above applications. However, some major technical roadblocks needs to be overcome. Currently, the various components required for a complete quantum photonic system are produced on very different materials by dedicated fabrication technologies, as no single material is able to fulfil all the requirements for single-photon generation, manipulation, storage and detection. This project proposes a new hybrid approach for integrated quantum photonic systems based on femtosecond laser microfabrication (FLM), enabling the innovative miniaturization of various components on different materials, but with a single tool and with very favourable integration capabilities. This project will mainly focus on two major breakthroughs: the first one will be increasing the complexity achievable in the photonic platform and demonstrating unprecedented quantum computation capability; the second one will be the integration in the platform of multiple single-photon quantum memories and their interconnection. Achievement of these goals will only be possible by taking full advantage of the unique features of FLM, from the possibility to machine very different materials, to the 3D capabilities in waveguide writing and selective material removal. The successful demonstration and functional validation of this hybrid, integrated photonic platform will represent a significant leap for photonic microsystems in quantum computing and quantum communications.

2 381 875 €

Start date: 2017-10-01, End date: 2022-09-30

The Virtual Element Method (VEM) is a novel technology for the discretization of partial differential equations (PDEs), that shares the same variational background as the Finite Element Method. First but not only, the VEM responds to the strongly increasing interest in using general polyhedral and polygonal meshes in the approximation of PDEs without the limit of using tetrahedral or hexahedral grids. By avoiding the explicit integration of the shape functions that span the discrete space and introducing an innovative construction of the stiffness matrixes, the VEM acquires very interesting properties and advantages with respect to more standard Galerkin methods, yet still keeping the same coding complexity. For instance, the VEM easily allows for polygonal/polyhedral meshes (even non-conforming) with non-convex elements and possibly with curved faces; it allows for discrete spaces of arbitrary C^k regularity on unstructured meshes. The main scope of the project is to address the recent theoretical challenges posed by VEM and to assess whether this promising technology can achieve a breakthrough in applications. First, the theoretical and computational foundations of VEM will be made stronger. A deeper theoretical insight, supported by a wider numerical experience on benchmark problems, will be developed to gain a better understanding of the method's potentials and set the foundations for more applicative purposes. Second, we will focus our attention on two tough and up-to-date problems of practical interest: large deformation elasticity (where VEM can yield a dramatically more efficient handling of material inclusions, meshing of the domain and grid adaptivity, plus a much stronger robustness with respect to large grid distortions) and the cardiac bidomain model (where VEM can lead to a more accurate domain approximation through MRI data, a flexible refinement/de-refinement procedure along the propagation front, to an exact satisfaction of conservation laws).

980 634 €

Start date: 2016-07-01, End date: 2021-06-30

Advanced ceramics are often combined with metals, polymers or other ceramics to produce structural and functional systems with exceptional properties. Examples are resistors and capacitors in microelectronics, piezo-ceramic actuators in car injection devices, and bio-implants for hip joint replacements. However, a critical issue affecting the functionality, lifetime and reliability of such systems is the initiation and uncontrolled propagation of cracks in the brittle ceramic parts, yielding in some cases rejection rates up to 70% of components production. The remarkable “damage tolerance” found in natural materials such as wood, bone or mollusc, has yet to be achieved in technical ceramics, where incipient damage is synonymous with catastrophic failure. Novel “multilayer designs” combining microstructure and architecture could change this situation. Recent work of the PI has shown that tuning the location of “protective” layers within a 3D multilayer ceramic can increase its fracture resistance by five times (from ~3.5 to ~17 MPa∙m1/2) relative to constituent bulk ceramic layers, while retaining high strength (~500 MPa). By orienting the grain structure, similar to the textured and organized microstructure found in natural systems such as nacre, the PI has shown that crack propagation can be controlled within the textured ceramic layer. Thus, I believe tailored microstructures with controlled grain boundaries engineered in a layer-by-layer 3D architectural design hold the key to a new generation of “damage tolerant” ceramics. This proposal outlines a research program to establish new scientific principles for the fabrication of innovative ceramic components that exhibit unprecedented damage tolerance. The successful implementation of microstructural features (e.g. texture degree, tailored internal stresses, second phases, interfaces) in a layer-by-layer architecture will provide outstanding lifetime and reliability in both structural and functional ceramic devices.

1 985 000 €

Start date: 2019-05-01, End date: 2024-04-30