Inria
Inria Channel
- Présentation
- Publications HAL
- Rapports d'activité
Equipe de recherche SECSI
Publications de l'équipe SECSI
2011
Art. dans des revues avec comité de lecture
- Titre
- Computing knowledge in security protocols under convergent equational theories
- Auteurs
- Stefan Ciobaca; Stéphanie Delaune; Steve Kremer
- Détail
- Journal of Automated Reasoning, Springer, 2011
- Accès au bibtex
-
- Titre
- Reducing Equational Theories for the Decision of Static Equivalence
- Auteurs
- Steve Kremer; Antoine Mercier; Ralf Treinen
- Détail
- Journal of Automated Reasoning, Springer, 2011
- Accès au bibtex
-
Communication avec actes
- Titre
- Continuous Random Variables
- Auteurs
- Jean Goubault-Larrecq; Daniele Varacca
- Détail
- IEEE symposium of Logic In Computer Science, Jun 2011, Toronto, Canada. pp. 97-106
- Accès au bibtex
-
- Titre
- Formal analysis of protocols based on TPM state registers
- Auteurs
- Stéphanie Delaune; Steve Kremer; Ryan Mark
- Détail
- 24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France.
- Accès au bibtex
-
- Titre
- Security for Key Management Interfaces
- Auteurs
- Steve Kremer; Graham Steel; Bogdan Warinschi
- Détail
- 24th IEEE Computer Security Foundations Symposium (CSF'11), Jun 2011, Cernay-la-Ville, France.
- Accès au bibtex
-
- Titre
- Transforming Password Protocols to Compose
- Auteurs
- Céline Chevalier; Stéphanie Delaune; Steve Kremer
- Détail
- 31st Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), Dec 2011, Mumbai, India.
- Accès au bibtex
-
HDR
- Titre
- Modelling and analyzing security protocols in cryptographic process calculi
- Auteurs
- Steve Kremer
- Détail
- École normale supérieure de Cachan - ENS Cachan, Mar. 2011. English
- Accès au texte intégral et bibtex
-
Ouvrage scientifique
- Titre
- Formal Models and Techniques for Analyzing Security Protocols
- Auteurs
- Véronique Cortier; Steve Kremer
- Détail
- 5. Cortier, Véronique and Kremer, Steve. IOS Press, pp. 312, 2011, Cryptology and Information Security Series, 978-1-60750-713-0
- Accès au bibtex
-
2009
Communication avec actes
- Titre
- Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting Protocols
- Auteurs
- Mehdi Talbi; Valérie Viet Triem Tong; Adel Bouhoula
- Détail
- International Conference on Availability, Reliability and Security, Mar 2009, Fukuoka, Japan.
- Accès au bibtex
-
- Titre
- Forward analysis for WSTS, Part I: Completions
- Auteurs
- Alain Finkel; Jean Goubault-Larrecq
- Détail
- Susanne Albers and Jean-Yves Marion. 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. IBFI Schloss Dagstuhl, pp. 433-444
- Accès au texte intégral et bibtex
-
Rapport
- Titre
- A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems
- Auteurs
- Véronique Cortier; Steve Kremer; Bogdan Warinschi
- Détail
- [Research Report], 2009, pp. 42. RR-6912
- Accès au texte intégral et bibtex
-
2008
Art. dans des revues avec comité de lecture
- Titre
- Tree automata with equality constraints modulo equational theories
- Auteurs
- Florent Jacquemard; Michael Rusinowitch; Laurent Vigneron
- Détail
- Journal of Logic and Algebraic Programming, Elsevier, 2008, 75 (2), pp. 182-208
- Accès au texte intégral et bibtex
-
Communication avec actes
- Titre
- Specification of Electronic Voting Protocol Properties Using ADM Logic : FOO Case Study
- Auteurs
- Mehdi Talbi; Benjamin Morin; Valérie Viet Triem Tong; Adel Bouhoula; Mohammed Mejri
- Détail
- ICICS 08, Oct 2008, Birmingham, United Kingdom.
- Accès au bibtex
-
- Titre
- Spécification Formelle des propriétés des Protocoles de Vote au moyen de la Logique ADM
- Auteurs
- Mehdi Talbi; Benjamin Morin; Valérie Viet Triem Tong; Adel Bouhoula; Mohammed Mejri
- Détail
- Conférence sur la sécurité des Architectures Réseaux et des Systèmes d'Information, Oct 2008, Loctudy, France.
- Accès au bibtex
-
- Titre
- Closure of Hedge-Automata Languages by Hedge Rewriting
- Auteurs
- Florent Jacquemard; Michael Rusinowitch
- Détail
- A. Voronkov. 19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. Springer Berlin / Heidelberg, Rewriting Techniques and Applications, 5117, pp. 157-171, Lecture Notes in Computer Science
- Accès au texte intégral et bibtex
-
2006
Rapport
- Titre
- Automatic Verification of Sufficient Completeness for Conditional Constrained Term Rewriting Systems
- Auteurs
- Adel Bouhoula; Florent Jacquemard
- Détail
- [Research Report], 2006, pp. 17. RR-5863
- Accès au texte intégral et bibtex
-
2005
Rapport
- Titre
- Tree Automata with Equality Constraints Modulo Equational Theories
- Auteurs
- Florent Jacquemard; Michaël Rusinowitch; Laurent Vigneron
- Détail
- [Research Report], 2005, pp. 27. RR-5754
- Accès au texte intégral et bibtex
-
2004
Communication sans actes
- Titre
- From PNML to counter systems for accelerating Petri Nets with FAST
- Auteurs
- Sébastien Bardin; Laure Petrucci
- Détail
- Workshop on Interchange Formats for Petri Nets, 2004, Bologna, Italy. pp. 26-40
- Accès au texte intégral et bibtex
-
Archives
En savoir plus
Retrouvez toutes les publications scientifiques de nos équipes de recherche sur HAL Inria
Voir aussi
