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
Oded Maler:
On Under-Determined Dynamical Systems
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, Lawrence L. Larmore:
Sorting on Skip Chains
Julien Legriel:
Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems
Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler:
Optimizing Explicit Data Transfers for Data Parallel Applications on the Cell Architecture
Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Begeluin:
Beyond Provable Security Verifiable IND-CCA Security of OAEP
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