Error 404
Error in query: No results found.
The path you have selected does not seem valid. Please return to the previous page and verify the information provided.
Select
previous page
Search
Home page
Site Map
New publications
Recent Publications
Jannik Dreier, Florian Kerschbaum:
Practical Privacy-Preserving Multiparty Linear Programming Based on Problem Transformation
Julien Legriel:
Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems
Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore:
Sorting on Skip Chains
Gilles Barthes, Mathilde Duclos, Yassine Lakhnech:
A Computational Indistinguishability Logic for the Bounded Storage Model
Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech:
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience
Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre:
Self-Stabilizing Small k-Dominating Sets
Jobs
Jobs
Navigation
Sections
Teams
Synchrone
DCS
Tempo
Verimag
Presentation
Organisation chart
People
Documents
How to reach us
Jobs and Internships
Dissemination
Partners
Projects
Seminars
Tools
Workshops and Conferences
Publications
Site Map
Search:
Contact
|
Site Map
|
Site created with SPIP 2.1.12
+
AHUNTSIC
[CC License]
Logged in visitors:
19
; visits:
170459
English
Français