Cookies are small text files that can be used by websites to make a user's experience more efficient. This site uses different types of cookies. Some cookies are placed by third party services that appear on our pages. You can change your cookie settings later via Cookie management link at the bottom of the site.

Read detailed information about cookies used by selecting a category:

Cookie	Cookie Description	Expiry	Provider	Type
CORRELATION-ID	Used to provide context for server-side operations	Session	helda.helsinki.fi	HTTP Cookie
dsLanguage	Sets the default language used by the user on Helda	Session	helda.helsinki.fi	HTTP Cookie
DSPACE-XSRF-COOKIE	Protects a user from CSRF attacks. Read more about them here.	Session	helda.helsinki.fi	HTTP Cookie
JSESSIONID	Used for user authentication. Read more about them here.	Session	helda.helsinki.fi	HTTP Cookie
klaro-anonymous	Saves a user's cookie preferences	1 year	helda.helsinki.fi	HTTP Cookie
XSRF-TOKEN	Protects a user from CSRF attacks. Read more about them here.	Session	helda.helsinki.fi	HTTP Cookie

Cookie	Cookie Description	Expiry	Provider	Type
_pk_id#	Collects statistics on the users visits to the website, such as the number of visits, average time spent on the website and what pages have been read.	1 year	matomo.it.helsinki.fi	HTTP Cookie
_pk_ses#	Used by Piwik Analytics Platform to track page requests from the visitor during the session.	1 day	matomo.it.helsinki.fi	HTTP Cookie
_pk_ref#	Used by Piwik Analytics Platform to identify the referring website from which the visitor has come.	6 months	matomo.it.helsinki.fi	HTTP Cookie

Browsing by Subject "model checking"