Category & trade
Primary
information-and-network-security · embed-ft 0.62
Tree path
Technology & Computing › Computing › Information and Network Security
Group (tier-1)
Tech stack
AI readiness
AI-Readiness score
40 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
Overview
Title
Welcome - CryptoForma
Description
The EPSRC CryptoForma network (1 May 2009 – 1 November 2012, extended to 1 November 2015) aims to build an expanding network in computer science and mathematics to support the development of formal notations, methods and techniques for modelling and analysing modern cryptographic protocols. This work increases security and confidence in such protocols and their …
Final URL
Language
en (html)
Scanned at
2026-07-05 02:56:21