Ctrl K
All software
1Filter
Mentions
Keywords
189
Program languages
76
Licenses
18
12
49-52 of 52
Tamarin Prover
The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.
- Cryptographic Protocols
- Formal Verification
- Information
- Haskell
- Python
- JavaScript
- + 9
0
0
TERENO-DOI
A web-based application for creating, publishing, and managing digital object identifiers (DOIs) especially for publications within the TERENO initiative.
- catalogue
- data managment
- Data Publications
- + 9
- Vue
- JavaScript
- HTML
- + 1
4
0
TRIDEC Cloud
TRIDEC Cloud serves functionality to handle and share threat specific information. It integrates services for obtaining event related geo-data, e.g. of earthquakes, for automated computations, e.g. of tsunami propagations, for mapping, summarizing, and communicating hazard specific data.
- early warning
- Earth & Environment
- GPU
- + 6
- Python
- Vue
- Shell
- + 6
0
0
Watts
WaTTS allows using any legacy service with federated identities, such as eduGain or google.
- AAI
- OIDC
- Token Translation
- Erlang
- HTML
- Elm
- + 6
2
0