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
Karel Heurtefeux, Fabrice Valois:
Is RSSI a good choice for localization in Wireless Sensor Network?
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Automated distributed implementation of component-based models with priorities
Pierre Corbineau, Mathilde Duclos, Yassine Lakhnech:
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion Resilience
Gilles Barthe, Benjamin Grégoire, Yassine Lakhnech, Santiago Zanella Begeluin:
Beyond Provable Security Verifiable IND-CCA Security of OAEP
Gilles Barthes, Mathilde Duclos, Yassine Lakhnech:
A Computational Indistinguishability Logic for the Bounded Storage Model
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:
17
; visits:
169747
English
Français