This Project is not specific to Greece. For more details, please visit OpenAIRE Explore.
Link with research outputs.
Please log in first and try again.
SSURF
Safety and Security UndeR Focal
FunderFrench National Research Agency (ANR)
Funder Contribution €541,730.00
DurationFrom 01 Jan 2007
Project codeANR-06-SETI-0016
Identifiers
Description
The proposed project consists both : - in characterizing and studying the required features that an Integrated Development Environment (IDE) must provide in order not only to obtain sofware systems in conformance with high Evaluation Assurance Levels (EAL-5 6 7), but also to ease the evaluation process according to standards (IEC61508, CC, ...), and - in developping a formal generic framework describing various security properties such those of access control policies together with their implementations using such an IDE. These two parts are strongly connected, the second part playing the role of a true running example for the first one while requiring for new theoretical results/extensions/tools from the first part. They are both concerned with methological aspects, semantics, logics, proof systems, compilation, rewriting, and computer science security. However, while the first part aims to elaborate features for an IDE of general purpose, the second one aims to provide a theoretical framework in which security properties such as access control policies and their implementations can be specified, defined, compared and proved. This theoretical framework will be implemented within the considered IDE, providing a non-trivial illustration of its use. This work will be based on the Focal environment which already provides tools to write specifications, programs, properties and proofs at the same level, proofs being ultimately checked by Coq and programs compiled to Ocaml.
Partners (4)
Start a new DMP in Loading
The proposed project consists both : - in characterizing and studying the required features that an Integrated Development Environment (IDE) must provide in order not only to obtain sofware systems in conformance with high Evaluation Assurance Levels (EAL-5 6 7), but also to ease the evaluation process according to standards (IEC61508, CC, ...), and - in developping a formal generic framework describing various security properties such those of access control policies together with their implementations using such an IDE. These two parts are strongly connected, the second part playing the role of a true running example for the first one while requiring for new theoretical results/extensions/tools from the first part. They are both concerned with methological aspects, semantics, logics, proof systems, compilation, rewriting, and computer science security. However, while the first part aims to elaborate features for an IDE of general purpose, the second one aims to provide a theoretical framework in which security properties such as access control policies and their implementations can be specified, defined, compared and proved. This theoretical framework will be implemented within the considered IDE, providing a non-trivial illustration of its use. This work will be based on the Focal environment which already provides tools to write specifications, programs, properties and proofs at the same level, proofs being ultimately checked by Coq and programs compiled to Ocaml.
We use cookies
This website uses essential cookies to ensure its proper operation and tracking cookies to understand how you interact with it. The latter will be set only upon approval.
Read more about our Cookies policy.
Read more about our Cookies policy.
Cookie Usage
We use cookies to ensure the basic functionalities of the website and to enhance your online experience. You can choose for each category to opt-in/out whenever you want.
- Strictly necessary cookiesThese cookies collect information about how you use the website, which pages you visited and which links you clicked on. All of the data is anonymized and cannot be used to identify you.
Name consent Description This cookie holds user cookies consent info. Provider OpenAIRE Expiration 395 days Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name greekSession Description Stores the user session ID for Academic Bibliometrics & Assessment Computational Utility Service. Provider Academic Bibliometrics & Assessment Computational Utility Service Expiration Session Name openAIRESession Description Stores the user session ID for OpenAIRE Services. Provider OpenAIRE Expiration Session Name AccessToken Description Stores a JSON Web Token (JWT) used to authenticate the user's access to protected services. Provider OpenAIRE Expiration 1 hour Name jsCheck Description Checks whether the client has javascript enabled. Provider System Expiration Session Name verifiedUser Description Indicates that the user has been verified as human. Provider System Expiration 1 day Name reload- Description Stores a list of URLs for redirection to ensure smooth navigation. Provider System Expiration Session
- Preferences cookiesThese cookies help us to improve your online experience, and store some of your preferences.
- Analytical cookiesThese cookies collect information about how you use the website, which pages you visited and which links you clicked on. All of the data is anonymized and cannot be used to identify you.
Name ^_pk_id Description Used to store a few details about the user such as the unique visitor ID. Provider Matomo Expiration 13 months Name ^_pk_ses Description Short lived cookies used to temporarily store data for the visit. Provider Matomo Expiration 30 minutes
Detailed information about how we handle cookies could be found in our Cookies policy.
Cookie preferences