Search - INRIA - Institut National de Recherche en Informatique et en Automatique

HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	inria-00000407v1 Other publications Laurent Vigneron. Un outil d'aide à la conception de protocoles cryptographiques 2005
	inria-00000408v1 Conference papers Alessandro Armando, David Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna et al. The AVISPA Tool for the automated validation of internet security protocols and applications 17th International Conference on Computer Aided Verification - CAV 2005, Jul 2005, Edinburgh, Scotland/UK, France. pp.281-285
	inria-00000409v1 Directions of work or proceedings Laurent Vigneron. Proceedings of the 19th International Workshop on Unification A05-R-022 (A05-R-022), LORIA, pp.143, 2005
	inria-00000426v1 Journal articles Abdessamad Imine, Michaël Rusinowitch, Gérald Oster, Pascal Molli. Formal Design and Verification of Operational Transformation Algorithms for Copies Convergence Theoretical Computer Science, Elsevier, 2006, Algebraic Methodology and Software Technology, 351 (2), pp.167--183. ⟨10.1016/j.tcs.2005.09.066⟩
	inria-00000427v1 Conference papers Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. Towards Synchronizing Linear Collaborative Objects with Operation Transformation International Conference on Formal Techniques for Networked and Distributed Systems - FORTE 2005, Oct 2005, Taipei/Taiwan, pp.411-427
	inria-00000428v1 Conference papers Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Edition collaborative sur réseau pair-à-pair à large échelle Journées Francophones sur la Cohérence des Données en Univers Réparti - CDUR 2005, Nov 2005, Paris/France, pp.42-47
	inria-00000481v1 Conference papers Pascal Fontaine, Silvio Ranise, Calogero Zarba. Combining Lists with Non-Stably Infinite Theories 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, pp.51--66, ⟨10.1007/b106931⟩
	inria-00000553v1 Journal articles Hubert Comon-Lundh, Véronique Cortier. Tree automata with one memory, set constraints and cryptographic protocols Theoretical Computer Science, Elsevier, 2005, 331 (1), pp.143-214
	inria-00000554v1 Conference papers Martin Abadi, Véronique Cortier. Deciding knowledge in security protocols under (many more) equational theories CSFW 2005 - 18th IEEE Computer Security Foundations Workshop, Jun 2005, Aix-en-Provence, France. pp.62-76, ⟨10.1109/CSFW.2005.14⟩
	inria-00000555v1 Conference papers Mathieu Baudet, Véronique Cortier, Steve Kremer. Computationally Sound Implementations of Equational Theories against Passive Adversaries 32nd International Colloquium on Automata, Languages and Programming - ICALP 2005, Jul 2005, Lisbonne/Portugal, pp.652-663, ⟨10.1007/11523468⟩
	inria-00000556v1 Conference papers Véronique Cortier, Bogdan Warinschi. Computationally Sound, Automated Proofs for Security Protocols 14th European Symposium on Programming - ESOP 2005, Apr 2005, Edinburgh/United Kingdom, pp.157-171, ⟨10.1007/b107380⟩
	inria-00000557v1 Conference papers Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu. A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'05, Jul 2005, Lisbonne/Portugal, pp.12-22
	inria-00000570v1 Conference papers Silvio Ranise, Christophe Ringeissen, Calogero Zarba. Combining data structures with nonstably infinite theories using many-sorted logic 5th International Workshop on Frontiers of Combining Systems - FroCoS'05, Sep 2005, Vienna/Austria, pp.48--64, ⟨10.1007/11559306⟩
	inria-00000586v1 Conference papers Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. On Superposition-Based Satisfiability Procedures and their Combination 2nd International Colloquium on Theoretical Aspects of Computing - ICTAC'05, Oct 2005, Hanoi/Vietnam, pp.594--608, ⟨10.1007/11560647⟩
	inria-00000606v1 Conference papers Najah Chridi, Laurent Vigneron. Modélisation des propriétés de sécurité de protocoles de groupe 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes, CRiSIS, Oct 2005, Bourges, France, pp.119-132
	inria-00000607v1 Conference papers Judson Santos Santiago, Laurent Vigneron. Study for Automatically Analysing Non-repudiation 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes- CRiSIS 2005, Oct 2005, Bourges/France, pp.157--171
	inria-00070169v1 Reports Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols [Research Report] RR-5857, INRIA. 2006, pp.18
	inria-00070247v1 Reports Véronique Cortier, Xavier Goaoc, Mira Lee, Hyeon-Suk Na. A note on maximally repeated sub-patterns of a point set [Research Report] RR-5773, INRIA. 2005, pp.5
	inria-00070291v1 Reports Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Automatic Verification of Security Protocols Using Approximations [Research Report] RR-5727, INRIA. 2005, pp.27
	inria-00070335v1 Reports Silvio Ranise, Christophe Ringeissen, Calogero Zarba. Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic [Research Report] RR-5678, INRIA. 2005, pp.39
	inria-00070512v1 Reports Yannick Chevalier, Michaël Rusinowitch. Combining Intruder Theories [Research Report] RR-5495, INRIA. 2005, pp.37
	inria-00070660v1 Reports Véronique Cortier, Bogdan Warinschi. Computationally Sound, Automated Proofs for Security Protocols [Research Report] RR-5341, INRIA. 2004, pp.23
	inria-00070731v1 Reports Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz. A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions [Research Report] RR-5267, INRIA. 2004, pp.22
	inria-00070766v1 Reports Tarek Abbes, Michaël Rusinowitch, Alakesh Haloi. Network Traffic Classification for Intrusion Detection [Research Report] RR-5230, INRIA. 2004, pp.20
	inria-00070767v1 Reports Calogero G. Zarba. C-tableaux [Research Report] RR-5229, INRIA. 2004, pp.31
	inria-00070771v1 Reports Yannick Chevalier. A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or [Research Report] RR-5224, INRIA. 2004, pp.35
	inria-00071213v1 Reports Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Proving correctness of transformation functions in collaborative editing systems [Research Report] RR-5795, INRIA. 2005, pp.45
	inria-00071215v1 Reports Florent Jacquemard, Michaël Rusinowitch, Laurent Vigneron. Tree Automata with Equality Constraints Modulo Equational Theories [Research Report] RR-5754, INRIA. 2005, pp.27
	inria-00071218v1 Reports Gérald Oster, Pascal Urso, Pascal Molli, Hala Skaf-Molli, Abdessamad Imine. Optimistic Replication for Massive Collaborative Editing [Research Report] RR-5719, INRIA. 2005, pp.18
	inria-00071240v1 Reports Gérald Oster, Pascal Urso, Pascal Molli, Abdessamad Imine. Real time group editors without Operational transformation [Research Report] RR-5580, INRIA. 2005, pp.24
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :