Objetivo
The ultimate aim of this project is to design and implement an efficient virtual machine that can be used in practice for generic secure multiparty computation (MPC).
MPC is a way to convert any distributed computation that can be performed securely with the assistance of a trusted third party into a protocol that does not require any third parties, yet gives the same output and remains just as secure.
The existence of MPC is one of the breakthrough results of modern cryptography. These results appear to be extremely relevant for problems in many areas - wherever there is tension between privacy, trust and functionality. In practice, however, there is very little real-world use of these techniques.
Existing MPC techniques involve translating a function to be computed into a logical circuit. This architecture has some drawbacks, however, that we believe contribute to the scarcity of real-world use of these techniques. In particular, programs whose running time is potentially very long are infeasible to implement as circuits (since a circuit's size depends on the maximal running time of a program). Moreover, there are far more engineers familiar with programming than with the constraints of circuit design.
In this project we propose to take a new approach to practical MPC: changing it from a ``hardware engineering'' problem (designing circuits) to one of ``software engineering'' (writing programs). The high-level idea is to develop a ``secure computation virtual machine'' in the von Neumann architecture: a virtual CPU and virtual RAM that can run programs in a similar way to a modern physical computer system. Such an architecture would allow secure programs to be compiled directly from standard programming languages (such as C or Java). The hope is that, once such a system exists, MPC will become accessible to the many software engineers who already know how to program but do not have time to learn new, MPC-specific languages or circuit design.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información software
- ingeniería y tecnología ingeniería eléctrica, ingeniería electrónica, ingeniería de la información ingeniería electrónica hardware informático procesador informático
- ciencias naturales informática y ciencias de la información seguridad informática criptografía
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
FP7-PEOPLE-2011-CIG
Consulte otros proyectos de esta convocatoria
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
MC-CIG - Support for training and career development of researcher (CIG)
Coordinador
4610101 Herzliya
Israel
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.