PLEAK
- Quick Guide
- Installation
- Frontend
  - Features
- Backend
- PE-BPMN
  - PE-BPMN language
  - Analysis
  - Stereotypes
    - — Task —
    - AddSSComputation
    - AddSSReconstruction
    - AddSSSharing
    - DifferentialPrivacy
    - DimensionalityReduction
    - FunSSComputation
    - FunSSReconstruction
    - FunSSSharing
    - GCComputation
    - GCEvaluate
    - GCGarble
    - MPC
    - OpenConfidentiality
    - OTReceive
    - OTSend
    - PETComputation
    - PKComputation
    - PKDecrypt
    - PKEncrypt
    - ProtectConfidentiality
    - SGXAttestationChallenge
    - SGXAttestationEnclave
    - SGXComputation
    - SGXProtect
    - SGXQuoteVerification
    - SGXQuoting
    - SKComputation
    - SKDecrypt
    - SKEncrypt
    - SSComputation
    - SSReconstruction
    - SSSharing
    - — Message flow —
    - CommunicationProtection
    - SecureChannel
    - — Data object —
    - PKPrivate
    - PKPublic
  - Restrictions & validation
- SQL global sensitivity analyser
- SQL Leaks-when analyser
- BPMN Leaks-when analyser
- SQL combined sensitivity analyser
  - Installation guide
  - Advanced settings
- SQL guessing advantage analyser
- SQL sensitivity and guessing advantage example model
- Composition Modeler
- Leakage Detection
Research papers