| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Counters in Kappa: Semantics, Simulation, and Static Analysis
Pierre Boutillier
1
Ioana Cristescu
2
Jérôme Feret
3, 4, 5
2
TAMIS - Threat Analysis and Mitigation for Information Security
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3
ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
1
HMS - Harvard Medical School [Boston] (25 Shattuck Street Boston, MA 02115 - United States)
2
TAMIS - Threat Analysis and Mitigation for Information Security (Campus de Beaulieu 35042 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
3
ANTIQUE - Analyse Statique par Interprétation Abstraite (France)
- DI-ENS - Département d'informatique de l'École normale supérieure (École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- Inria de Paris (2 rue Simone Iff -
CS 42112 -
75589 Paris Cedex 12 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
4
DI-ENS - Département d'informatique de l'École normale supérieure (École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05 - France)
- ENS Paris - École normale supérieure - Paris (45, Rue d'Ulm - 75230 Paris cedex 05 - France)
- PSL - Université Paris sciences et lettres (60 rue Mazarine 75006 Paris - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8548 (France)
5
PSL - Université Paris sciences et lettres (60 rue Mazarine
75006 Paris - France)
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-02397876
Contributor : Jérôme Feret <>
Submitted on : Friday, December 6, 2019 - 5:14:19 PM
Last modification on : Thursday, July 1, 2021 - 5:58:08 PM
Contributor : Jérôme Feret <>
Submitted on : Friday, December 6, 2019 - 5:14:19 PM
Last modification on : Thursday, July 1, 2021 - 5:58:08 PM
Links full text
Identifiers
- HAL Id : hal-02397876, version 1
- DOI : 10.1007/978-3-030-17184-1_7
Collections
INRIA | ENS-PARIS | CNRS | UNIV-RENNES1 | CENTRALESUPELEC | CHAIRE-CYBERSECURITE | UNIV-RENNES | IRISA | UR1-UFR-ISTIC | INSA-RENNES | PSL
Citation
Pierre Boutillier, Ioana Cristescu, Jérôme Feret. Counters in Kappa: Semantics, Simulation, and Static Analysis. ESOP 2019 - 28th European Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.176-204, ⟨10.1007/978-3-030-17184-1_7⟩. ⟨hal-02397876⟩
Metrics
Record views