Skip to content
Preflight Audit

PREFLIGHT / ASSURANCE COMMAND CENTER

Catalogus van assurance-capaciteiten

Verken beheerde technische methoden, specialistische beoordelingen en toekomstige laboratoriumtrajecten.

100 capaciteiten gevonden9 Alle domeinenBeoordeling aanvragen

Vermelding betekent geen personeelsautorisatie, goedkeuring van apparatuur, accreditatie of klantspecifieke vrijgave.

Uitgebreide technische beschrijvingen zijn in het Engels.

The live LIMS register is the single source of truth. A controlled automation remains subject to frozen scope, accepted execution worker, approved method and QMS review. Human-led review requires personnel authorization. No listed pathway implies an accreditation, certification, external recognition, physical laboratory commissioning or security guarantee.

Integrated service programmes

Original Preflight programmes combine complementary capabilities into written scopes. Programme availability refers to governed intake or preparation; only commissioned methods and authorized personnel may execute a test.

Security Audits

Research-Led High-Assurance Audit

Threat modelling, manual vulnerability research, peer challenge, remediation verification and controlled reporting.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

7 mapped capabilities · research-audit

Security Audits

Rapid Security Review

Bounded expert review with automated repository evidence and a short prioritized finding register.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · rapid-security-review

Security Audits

Application, Web & API Security Review

Authentication, authorization, session, browser, business-logic and API trust-boundary review.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · application-api-review

Security Audits

Cloud, Repository & Supply-Chain Assurance

Review deployment, CI/CD, dependencies, secrets, provenance and build integrity under explicit repository authorization.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · cloud-supply-chain

Web3 Security

Smart Contract & Protocol Audit

Manual contract review combined with structured tool evidence, governance and deployment consistency checks.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · contract-audit

Web3 Security

DeFi & Economic Security Review

Assess lending, pools, vaults, oracle dependencies, economic assumptions and privileged controls.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

3 mapped capabilities · defi-economics

Web3 Security

Cross-Chain, Bridge & L1/L2 Review

Evaluate trust assumptions, message validation, settlement, chain operations and upgrade governance.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

3 mapped capabilities · bridge-rollup

Web3 Security

Wallet, Custody & Signing Review

Review keys, wallet/account binding, user-approved transactions, signing procedures and recovery.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · wallet-assurance

Web3 Security

Solana, Move, Cosmos & Cairo Specialist Review

Specialist programme scoped subject to personnel competence and methodology authorization.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

4 mapped capabilities · chain-specialist

Formal Assurance

Formal Specification & Proof Programme

Write invariants and select validated proof methods with explicit assumptions and limitations.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

3 mapped capabilities · formal-specification

Formal Assurance

Property Regression & Differential Fuzzing

Design repeatable property-based testing and re-running proof/fuzz harnesses for controlled releases.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

3 mapped capabilities · formal-continuous

Cryptography & Identity

Applied Cryptography & MPC Assessment

Specialist review of primitives, key lifecycle, threshold signing and recovery assumptions.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

3 mapped capabilities · cryptography-review

Cryptography & Identity

Post-Quantum Inventory & Migration Readiness

Map cryptographic dependencies, migration priorities and interoperability evidence without claiming quantum-resistant blockchain transactions.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · pqc-migration

Cryptography & Identity

Zero-Knowledge Circuit Security Pathway

Specialist review planning for prover/verifier boundaries, arithmetic constraints and circuit assumptions.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · zk-review

Cryptography & Identity

Identity, FIDO & Authenticator Readiness

Prepare identity and authenticator technical evidence for a separately administered scheme.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · identity-fido

Cryptography & Identity

ACVTS Demo, FIPS & Entropy Readiness

Prepare algorithm, module and entropy evidence without asserting CAVP/CMVP validation or accreditation.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

3 mapped capabilities · crypto-programmes

Laboratory Pathways

Hardware Wallet & Side-Channel Laboratory Pathway

Commission methods, equipment, authorized personnel and traceable physical evidence before any live physical testing.

Physical laboratory commissioning required

Do not book or represent physical testing until equipment, methods, personnel and safety controls are accepted.

3 mapped capabilities · hardware-pathway

Laboratory Pathways

Firmware, TEE & Connected-Product Pathway

Prepare secure-boot, firmware, enclave, product-lifecycle and laboratory methods.

Physical laboratory commissioning required

Do not book or represent physical testing until equipment, methods, personnel and safety controls are accepted.

3 mapped capabilities · embedded-iot

Laboratory Pathways

Common Criteria, SESIP & PSA Readiness

Organize security target, method and evidence documentation for external evaluation pathways.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · scheme-product

AI & Operational Security

AI, RAG & Autonomous Agent Security

Threat-model agents, untrusted input, retrieval poisoning, data leakage and action authorization.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · ai-agent-review

AI & Operational Security

Operational Security & Signer Assurance

Review access, operational signing, administrative controls and incident procedures.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

4 mapped capabilities · operations-signer

Continuous Assurance

Incident Response & CAPA Programme

Govern incident intake, retained timeline, evidence, root cause, corrective actions and effectiveness checks.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

3 mapped capabilities · incident-response

Continuous Assurance

Chain Forensics & Fund-Flow Investigation Readiness

Prepare authorized transaction evidence capture and qualified investigation with explicit attribution uncertainty.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · incident-investigation

Continuous Assurance

Preflight Security Gate & Continuous Assurance

Connect approved repositories, freeze release scope and track verification, vulnerabilities and drift over time.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

3 mapped capabilities · continuous-gate

Continuous Assurance

Bug Bounty & Researcher Challenge Governance

Set safe-harbor scope, submission intake, deduplication and remediation governance; specialist judging requires qualification.

Available for controlled scoping

A project-specific contract, personnel competence, approved methods and QMS controls remain mandatory.

3 mapped capabilities · research-challenge

Web3 Security

Economic Exploit Simulation Readiness

Prepare controlled, reproducible liquidity, oracle, MEV and liquidation scenarios.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · economic-modelling

Cryptography & Identity

Proof-of-Reserves Evidence Readiness

Review technical disclosure and reconciliation assumptions; not a financial audit or attestation.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · proof-reserves

Laboratory Pathways

Payment Security & Scheme Readiness

Prepare payment-control evidence for the named programme without recognized scheme status claims.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · payments-readiness

Security Audits

Penetration Testing & Red-Team Method Readiness

Define non-destructive authorized methods, rules of engagement and reviewer competence prior to execution.

Readiness and specialist scoping only

Method, qualifications or external programme prerequisites must be satisfied before technical delivery or recognition claims.

2 mapped capabilities · penetration-testing

Controlled technical capability register

100 capaciteiten gevonden

Engagement & Governance (9)

Engagement Intake & Contract Review

Governed review workflow

Capture client, authorization, service objective, confidentiality, exclusions and acceptance criteria before technical work begins.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Engagement record
  • Authorization record
  • Contract-review evidence

engagement-intake

Exact Scope & Commit Freeze

Governed review workflow

Freeze repositories, branches, commits, deployed origins, contracts, exclusions and method authorization in the Preflight Engagement Manifest (PEM).

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Frozen PEM
  • Scope digest
  • Repository/commit inventory

scope-freeze

Threat Model & Attack-Surface Enumeration

Governed review workflow

Model assets, actors, trust boundaries, entry points, privileged paths, failure modes and abuse cases before deep review.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Threat model
  • Attack-surface register
  • Trust-boundary map

threat-model

Manual Vulnerability Research

Governed review workflow

Research-led expert review for logic, design and emergent failure modes that automated tools cannot reliably infer.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Research notes
  • Findings
  • Evidence references

manual-vulnerability-research

Dual-Reviewer Quality Control

Governed review workflow

Support maker-checker review, independent technical challenge and signatory separation for material conclusions.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Review record
  • Challenge notes
  • Approval trail

dual-review

Remediation & Fix Verification

Governed review workflow

Bind each proposed fix to the original finding, verify the changed code and retain before/after evidence.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Retest record
  • Finding disposition
  • Fix evidence

remediation-verification

Implementation-to-Specification Conformance

Governed review workflow

Compare implemented behavior with written protocol, product and security requirements and record deviations.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Conformance matrix
  • Deviation register
  • Reviewer conclusion

spec-conformance

Controlled Report & QMS Release

Governed review workflow

Assemble evidence, findings, limitations, status and approvals into a controlled report released only through QMS governance.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Controlled report
  • Approval record
  • Public record when authorized

report-qms-release

External Accreditation / Scheme Readiness

External scheme pathway

Prepare evidence and readiness packs for separately granted external schemes without representing Preflight as accredited before grant.

Readiness support is not accreditation or certification. An external grant and exact scope are required before such claims can be made.

Bewijs en opleveringen

  • Readiness pack
  • Gap register
  • Application evidence

external-accreditation-workflow

Application Security (18)

Repository Static Analysis

Controlled automation

Static source review for dangerous patterns, trust-boundary mistakes, injection surfaces and insecure configuration.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Static-analysis evidence
  • Candidate findings

repo-static-analysis

Dependency & Supply-Chain Review

Controlled automation

Review dependency manifests, lockfiles, package provenance and known-risk policy without changing the target repository.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Dependency inventory
  • Supply-chain findings

dependency-supply-chain

Secret Exposure Scan

Controlled automation

Detect likely committed credentials, private-key material and high-risk secret patterns in authorized source scope.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Secret-scan evidence
  • Exposure findings

secret-exposure-scan

SBOM & Build Integrity

Controlled automation

Generate and validate component inventory, dependency boundaries and reproducibility evidence.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Doorlopend assurance-traject

Bewijs en opleveringen

  • SBOM
  • Integrity evidence

sbom-integrity

Authentication & Session Validation

Controlled automation

Bounded testing of authentication, authorization, session expiry, fixation and privilege boundaries against an authorized origin.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Session test evidence
  • Authorization findings

auth-session-validation

Input Boundary Fuzzing

Controlled automation

Rate-bounded malformed-input and parser-boundary testing against explicitly authorized scope without denial-of-service mode.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Fuzz corpus summary
  • Parser/input findings

input-boundary-fuzz

SSRF Defense Validation

Controlled automation

Controlled SSRF boundary tests for URL fetches and callbacks against explicit authorized origins.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • SSRF evidence
  • Boundary findings

ssrf-defense-validation

Replay, Idempotency & Race Validation

Controlled automation

Bounded replay, duplicate-submission, idempotency and TOCTOU validation with strict request ceilings.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Race/replay evidence
  • State-consistency findings

replay-race-validation

API Contract Fuzzing

Controlled automation

Schema-aware negative API testing for validation, authorization and error-handling defects.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • API fuzz evidence
  • Contract violations

api-contract-fuzz

Cloud, IaC, Container & CI/CD Hardening

Controlled automation

Review infrastructure-as-code, containers, CI/CD and deployment configuration for excessive privilege and unsafe defaults.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Configuration evidence
  • Infrastructure findings

iac-container-hardening

Business Logic Review

Governed review workflow

Trace critical user and financial workflows to find authorization gaps, impossible-state assumptions, sequence abuse and specification mismatches.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Logic-flow map
  • Business-logic findings

business-logic-review

Integration & External-Service Risk Review

Governed review workflow

Review third-party services, SDKs, RPCs, APIs and data contracts for trust, compatibility and consistency failures.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Integration inventory
  • Dependency trust map
  • Integration findings

integration-risk-review

Code Maturity & Engineering Quality Review

Governed review workflow

Review clarity, tests, error handling, dead code, unsafe defaults and maintainability as security-relevant engineering signals.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Maturity assessment
  • Engineering recommendations

code-maturity-review

Trust Boundary, CORS & Origin Review

Governed review workflow

Review origin assumptions, CORS, debug surfaces, proxy boundaries, headers and privileged internal/external transitions.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Trust-boundary evidence
  • Configuration findings

trust-boundary-review

Resource Limits & Availability Review

Governed review workflow

Review payload, decompression, pagination, queue, memory and rate-limit boundaries without destructive stress or denial-of-service execution.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Resource-boundary assessment
  • Availability findings

resource-safety-review

Web & Browser Dynamic Security Review

Governed review workflow

Expert browser/runtime review of navigation, iframe, postMessage, storage, CSP, wallet/provider and cross-origin behavior.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Dynamic-test evidence
  • Browser findings

web-dynamic-review

Mobile Application Security Review

Governed review workflow

Review Android/iOS application architecture, storage, deep links, WebViews, IPC, permissions and platform security boundaries where in scope.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Mobile threat model
  • Platform findings

mobile-app-review

Authorized Web, API & Infrastructure Penetration Testing

Method development

Scope-controlled assessment of application, API and infrastructure weaknesses using bounded, non-destructive testing.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Approved test plan
  • Reproducible findings
  • Retest record

authorized-penetration-testing

Web3 & Protocols (15)

Smart Contract Security

Controlled automation

Authorized source analysis, invariant checks and local/testnet transaction simulation without value-moving mainnet execution.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Contract analysis evidence
  • Candidate findings

smart-contract-security

Transaction Safety Simulation

Controlled automation

Pre-sign construction, recipient, chain, fee, debit and duplicate-submission validation in simulation/test environments.

A validation module exists. Actual execution still requires written scope, an accepted worker, method authorization and QMS review.

Bewijs en opleveringen

  • Simulation evidence
  • Transaction-safety findings

transaction-simulation

EVM, Bytecode & Low-Level Review

Governed review workflow

Review Solidity/Vyper/EVM semantics, assembly, bytecode behavior, precompiles and chain-specific edge cases.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • EVM review notes
  • Protocol findings

evm-deep-review

DeFi Primitive & Economic Security Review

Governed review workflow

Review exchanges, lending, vaults, staking, oracles, stablecoins, liquidation and economic attack surfaces.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Economic threat model
  • DeFi findings

defi-economic-review

Bridge & Cross-Chain Security Review

Governed review workflow

Review message validation, proof assumptions, relayers, finality, replay, liquidity and cross-domain governance boundaries.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Cross-chain threat model
  • Bridge findings

bridge-crosschain-review

L1, L2, Rollup & Node Review

Governed review workflow

Review consensus-adjacent code, sequencers, nodes, system contracts, precompiles, proof/finality and upgrade boundaries.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Protocol architecture review
  • Network findings

l1-l2-rollup-review

Move / Aptos / Sui Review

Governed review workflow

Review Move-specific type, resource, bytecode, arithmetic, execution and protocol invariants.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Move review evidence
  • Protocol findings

move-security-review

Solana / Rust Program Review

Governed review workflow

Review account validation, signer/authority rules, CPI, arithmetic, PDA and runtime assumptions for Solana programs.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Solana review evidence
  • Program findings

solana-security-review

Cosmos / Go Protocol Review

Governed review workflow

Review deterministic execution, consensus-affecting behavior, panics, resource bounds and module integration.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Cosmos review evidence
  • Protocol findings

cosmos-security-review

Cairo / Starknet Review

Governed review workflow

Review Cairo contracts and Starknet-specific account, messaging, arithmetic and protocol assumptions.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Cairo review evidence
  • Protocol findings

cairo-starknet-review

Account Abstraction & Smart Wallet Review

Governed review workflow

Review ERC-4337/account-abstraction validation, paymasters, bundlers, nonce/replay controls, modules and recovery paths.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • AA threat model
  • Smart-wallet findings

account-abstraction-review

Governance, Admin & Upgrade Controls

Governed review workflow

Review privileged roles, proxies, timelocks, emergency powers, parameter governance and bypass paths.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Privilege map
  • Governance findings

governance-upgrade-review

Audited-vs-Deployed Verification

Governed review workflow

Compare deployed bytecode, parameters, addresses and configuration with the exact reviewed artifacts to detect post-review drift.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Deployment manifest
  • Artifact diff
  • Production alignment conclusion

deployment-verification

DeFi Economic Exploit Modelling

Method development

Model liquidity, oracle, MEV, liquidation and parameter-shift scenarios against an explicitly frozen economic threat model.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Attack scenario register
  • Simulation artefacts
  • Mitigation tests

economic-exploit-simulation

Transaction Trace, State-Diff & Fund-Flow Analysis

Method development

Capture bounded simulation, invocation trees, state changes and value flow for authorized transactions; third-party explorer integrations require separate validation.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Simulation trace
  • State-diff evidence
  • Analyst interpretation

transaction-tracing-simulator

Formal Assurance (8)

Formal Specification & Invariant Authoring

Specialist qualification gate

Translate intended safety and correctness properties into explicit, reviewable invariants and formal rules.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Formal specification
  • Invariant catalog

formal-specification

Symbolic Execution

Method development

Explore program paths symbolically against defined security and correctness properties.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Symbolic execution result
  • Counterexamples

symbolic-execution

SMT-Based Property Proofs

Method development

Use SMT-backed verification to prove or refute defined properties over bounded or modeled program semantics.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Proof result
  • Counterexample trace
  • Solver evidence

smt-proof

Smart Contract Formal Verification

Method development

Prove contract properties against a controlled formal specification and retain rerunnable proof artifacts.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Formal rules
  • Proof artifacts
  • Verification report

contract-formal-verification

Model Checking & State-Machine Verification

Method development

Verify safety/liveness properties over explicit protocol or workflow state models.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Model
  • Property set
  • Counterexample/proof evidence

model-checking

Formal Property Regression in CI

Method development

Re-run approved formal properties on material code changes and record proof drift as continuous assurance evidence.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • CI proof record
  • Property regression result

property-regression-ci

Property-Based & Invariant Testing

Governed review workflow

Design stateful properties and adversarial generators to exercise invariants beyond example-based test suites.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Property suite
  • Counterexamples
  • Test evidence

property-based-testing

Validator, Compiler & Runtime Differential Fuzzing

Method development

Compare implementations and protocol invariants under constrained test harnesses to identify divergent state transitions, crashes and parser failures.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Differential test corpus
  • Crash triage
  • Reproducer

validator-runtime-fuzzing

Cryptography & Wallets (14)

Applied Cryptography Review

Governed review workflow

Review protocol construction, primitive use, nonce/randomness, key derivation, signatures, encryption and implementation assumptions.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Cryptographic design review
  • Crypto findings

applied-cryptography-review

Zero-Knowledge Circuit & Prover/Verifier Review

Specialist qualification gate

Review circuit constraints, witness handling, proof assumptions and prover/verifier integration for ZK systems.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • ZK review evidence
  • Circuit findings

zk-circuit-review

MPC / TSS Architecture Review

Governed review workflow

Review distributed key generation, signing ceremonies, participant assumptions, quorum, recovery and operational failure modes.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • MPC/TSS threat model
  • Architecture findings

mpc-tss-review

Secret Sharing & Recovery Review

Governed review workflow

Review Shamir/threshold shares, storage, reconstruction, social recovery and compromise boundaries.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Recovery threat model
  • Key-recovery findings

secret-sharing-review

Wallet Key Generation, Storage & Signing Boundary

Governed review workflow

Review key lifecycle, custody boundary, signing intent, transaction display, recovery and compromise containment.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Key lifecycle map
  • Signing-boundary findings

wallet-key-boundary

Wallet Social Login & Account Recovery

Governed review workflow

Review identity binding, recovery factors, session transitions and account takeover resistance in assisted wallet flows.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Recovery-flow map
  • Account-takeover findings

wallet-social-login

Multisig & Signer Architecture

Governed review workflow

Review threshold, signer independence, payload binding, transaction verification and bypass paths.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Signer architecture
  • Multisig findings

multisig-security

Post-Quantum Migration Readiness

Specialist qualification gate

Inventory cryptographic dependencies and assess migration paths to post-quantum algorithms without claiming PQ transaction implementation.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Crypto inventory
  • PQ migration plan
  • Readiness findings

pq-migration-readiness

HSM, KMS & Enclave Architecture Review

Governed review workflow

Review key custody architecture, attestation assumptions, access policies, rotation, audit logging and failure recovery.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Key-custody architecture
  • Control findings

hsm-kms-enclave-architecture

Proof-of-Reserves Evidence Readiness

Method development

Review reserve evidence design, liability completeness assumptions, timestamping, reconciliation and disclosed limitations; not a financial audit or attestation.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Evidence design review
  • Reconciliation gap register
  • Scope and limitations

proof-of-reserves-readiness

ACVTS Demo & Algorithm-Validation Proficiency

Method development

Prepare ACVP client/IUT adapters, test-vector provenance and Demo interaction evidence without claiming production CAVP validation.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Demo proficiency evidence
  • Vector and adapter register
  • Deviation record

acvts-demo-proficiency

FIPS 140-3 / CMVP Module Readiness

External scheme pathway

Prepare module boundary, roles, SSP management, self-tests, operational environment and evidence for an eligible external testing programme.

Readiness support is not accreditation or certification. An external grant and exact scope are required before such claims can be made.

Bewijs en opleveringen

  • Module boundary pack
  • Security policy draft
  • Gap and evidence register

fips140-module-readiness

Entropy Source & DRBG Test Readiness

Specialist qualification gate

Develop repeatable entropy acquisition, restart analysis, health-test, conditioning and deterministic random-bit-generator evidence.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Data acquisition plan
  • Entropy analysis
  • Method report

entropy-drbg-proficiency

FIDO & Identity Certification Readiness

External scheme pathway

Prepare authenticator, identity and protocol evidence against the exact applicable third-party scheme without presenting an internal review as certification.

Readiness support is not accreditation or certification. An external grant and exact scope are required before such claims can be made.

Bewijs en opleveringen

  • Readiness matrix
  • Test artefact inventory
  • Scheme gap pack

fido-identity-scheme-readiness

Trusted Computing & Hardware (9)

TEE & Secure Enclave Review

Specialist qualification gate

Review trusted-application code, attestation, secure-world boundaries and host/enclave interaction.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • TEE threat model
  • Trusted-computing findings

tee-secure-enclave-review

Firmware & Embedded Security Review

Specialist qualification gate

Review embedded firmware, boot/update chains, memory safety, peripherals, debug interfaces and secure storage.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Firmware review evidence
  • Embedded findings

firmware-security-review

C/C++/Rust/Assembly Low-Level Review

Specialist qualification gate

Review memory safety, unsafe boundaries, x86_64/AArch64 behavior and low-level protocol implementation.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Native-code review evidence
  • Low-level findings

native-low-level-review

Hardware Description / SystemVerilog Review

Specialist qualification gate

Review hardware logic and security-relevant state machines where HDL is in controlled scope.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • HDL review evidence
  • Hardware-design findings

hardware-description-review

Secure Element & Hardware Wallet Validation

Laboratory commissioning gate

Physical-device validation of secure elements, signing boundaries and hardware-wallet behavior under controlled laboratory methods.

Physical equipment, calibration, method validation and authorized personnel must be accepted before testing.

Bewijs en opleveringen

  • Physical test evidence
  • Device findings

secure-element-wallet-lab

Side-Channel Analysis

Laboratory commissioning gate

Controlled leakage assessment using trace capture and statistical analysis such as TVLA where method and equipment are accepted.

Physical equipment, calibration, method validation and authorized personnel must be accepted before testing.

Bewijs en opleveringen

  • Trace set
  • Statistical result
  • Laboratory report

side-channel-analysis

Fault Injection

Laboratory commissioning gate

Controlled glitch/fault testing with interlocks, bounded attempts and safe shutdown under validated laboratory procedures.

Physical equipment, calibration, method validation and authorized personnel must be accepted before testing.

Bewijs en opleveringen

  • Fault campaign record
  • Observed effects
  • Laboratory findings

fault-injection

Common Criteria / SESIP / PSA Readiness

External scheme pathway

Map security targets, protection profiles, evaluation evidence and laboratory dependencies to separately administered schemes.

Readiness support is not accreditation or certification. An external grant and exact scope are required before such claims can be made.

Bewijs en opleveringen

  • Evaluation readiness pack
  • Security-target gaps
  • Method and personnel register

common-criteria-readiness

IoT & Connected Product Security Laboratory Pathway

Laboratory commissioning gate

Plan software, firmware, radio, secure-update, physical and lifecycle testing for a defined connected-product security scope.

Physical equipment, calibration, method validation and authorized personnel must be accepted before testing.

Bewijs en opleveringen

  • Product test plan
  • Instrument and method matrix
  • Safety and evidence records

connected-product-security

AI/ML Security (7)

AI/ML Threat Model

Governed review workflow

Map model, data, agent, tool, user, retrieval and infrastructure trust boundaries for AI systems.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • AI threat model
  • Abuse-case register

ai-threat-model

Prompt Injection & Agent Action Security

Governed review workflow

Review prompt injection, tool/action authorization, unsafe autonomy, cross-agent trust and fail-safe behavior.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Agent attack-surface map
  • AI security findings

prompt-agent-security

RAG, Retrieval & Data-Poisoning Review

Governed review workflow

Review retrieval ingestion, provenance, malicious documents, ranking manipulation and data boundary failures.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Retrieval trust map
  • Poisoning findings

rag-poisoning-review

Model & Data Leakage Review

Governed review workflow

Review sensitive-data exposure through prompts, logs, training sets, embeddings, tool outputs and model responses.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Data-flow map
  • Leakage findings

model-data-leakage

ML Model & MLOps Supply-Chain Review

Governed review workflow

Review datasets, model artifacts, registries, pipelines, dependencies, signing/provenance and deployment permissions.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • ML supply-chain inventory
  • MLOps findings

ml-supply-chain

AI Inference & Runtime Boundary Review

Governed review workflow

Review inference services, model serving, sandboxes, GPU/runtime boundaries and privileged integrations.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Runtime architecture review
  • Infrastructure findings

ai-runtime-boundary

Adversarial AI Validation

Governed review workflow

Execute controlled abuse and adversarial test cases against explicitly authorized AI system scope without unsafe autonomous actions.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Adversarial test record
  • AI findings

ai-adversarial-validation

Operational Security (9)

Development Operational Security

Governed review workflow

Review repository access, SSO/MFA, audit logging, developer credentials, secret management and privileged development paths.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Development OpSec checklist
  • Access findings

development-opsec

GitHub App, Repository & Automation Access Review

Governed review workflow

Inventory authorized GitHub Apps, integrations, webhooks, deploy keys, bot access and repository selection; identify excessive or stale third-party access.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • GitHub access inventory
  • Revocation recommendations

github-access-review

Cloud IAM & Privileged Access Review

Governed review workflow

Review cloud identities, roles, service accounts, least privilege, MFA, break-glass and auditability.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Privilege inventory
  • IAM findings

cloud-iam-review

Signer, Multisig & Transaction Operations Review

Governed review workflow

Review signer procedures, payload verification, backups, transaction tooling, segregation and bypass resistance.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Signer runbook review
  • Operational findings

signer-opsec

Email, Social & Administrator OpSec

Governed review workflow

Review security configuration and recovery risks for business email and scoped administrative/social accounts without collecting passwords.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Account-control assessment
  • OpSec recommendations

email-social-opsec

Incident Response & Emergency Readiness

Governed review workflow

Review detection, escalation, war-room roles, containment, communications, key rotation, emergency governance and recovery procedures.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Incident runbook assessment
  • Exercise findings

incident-readiness

Deployment & Change-Control Review

Governed review workflow

Review release approvals, environment separation, secrets, migration controls, rollback and production evidence.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Change-control assessment
  • Release findings

deployment-change-control

Controlled Red Team Exercise

Method development

Evidence-led simulation of pre-agreed adversarial objectives without persistence, destructive payloads or testing outside approved scope.

A controlled and validated technical method or adapter is required before execution.

Bewijs en opleveringen

  • Rules of engagement
  • Detection and response observations
  • Remediation plan

controlled-red-team

Payment, PCI & Digital-Asset Control Readiness

External scheme pathway

Review payment architecture and evidence gaps against the named contractual or industry programme; not a substitute for recognized PCI/EMVCo evaluation.

Readiness support is not accreditation or certification. An external grant and exact scope are required before such claims can be made.

Bewijs en opleveringen

  • Payment control map
  • Remediation plan
  • Readiness evidence

payment-security-readiness

Continuous Security & Response (11)

Continuous Assurance Program

Governed review workflow

Maintain engagement context across architecture, code, infrastructure, governance, operations and release changes instead of restarting at each audit.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Continuous assurance plan
  • Periodic evidence
  • Risk trend

continuous-security-program

Per-Commit Preflight Security Gate

Governed review workflow

Freeze exact candidate revisions, run authorized controls, retain evidence and fail closed when release prerequisites do not pass.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Per-commit gate result
  • Evidence bundle
  • Release status

security-gate-continuous

Dependency & Advisory Watch

Governed review workflow

Track relevant dependency/security advisories and trigger scoped reassessment when material exposure changes.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Advisory record
  • Impact assessment

dependency-advisory-watch

Deployment Drift Monitoring

Governed review workflow

Compare approved artifacts/configuration with deployed state and flag unauthorized or unexplained drift.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Drift record
  • Deployment diff

deployment-drift-watch

On-Chain Security Monitoring

Governed review workflow

Monitor approved protocol events, privileged changes and risk signals under an explicit monitoring scope.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Monitoring events
  • Risk alerts
  • Periodic review

onchain-security-monitoring

Bug Bounty Lifecycle

Governed review workflow

Govern bounty scope, safe-harbor terms, intake, triage, duplicate handling, remediation and reward decisions without exposing secrets.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Doorlopend assurance-traject

Bewijs en opleveringen

  • Bounty scope
  • Submission triage
  • Resolution record

bug-bounty-program

Security Competition / Community Review

Governed review workflow

Orchestrate defined competition scope, researcher onboarding, submission judging, duplicate resolution and final findings.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Competition scope
  • Judging record
  • Final findings

security-competition

Security Incident War Room

Governed review workflow

Create a controlled incident timeline, owners, evidence, decisions, containment actions and communications with immutable post-incident records.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Incident timeline
  • Decision log
  • Containment evidence

incident-war-room

Postmortem, CAPA & Recurrence Prevention

Governed review workflow

Convert incidents and nonconformities into root-cause analysis, corrective/preventive action, effectiveness checks and retained evidence.

The information and evidence workflow exists. Delivery requires assigned, appropriately competent personnel; it is not an automated test.

Bewijs en opleveringen

  • Postmortem
  • CAPA record
  • Effectiveness verification

postmortem-capa

On-Chain Incident and Fund-Flow Investigation

Specialist qualification gate

Build an evidence-linked transaction timeline and cross-chain hypothesis review without representing it as financial recovery or law-enforcement attribution.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Transaction evidence register
  • Fund-flow analysis
  • Uncertainty statement

chain-transaction-forensics

Researcher Challenge Judging & Appeals

Specialist qualification gate

Adjudicate scoped researcher submissions, duplicate groups, impact, appeals and fix verification under one retained finding register.

The relevant personnel competence must be evidenced and authorized before delivery.

Bewijs en opleveringen

  • Triage evidence
  • Judging and appeal decisions
  • Consolidated findings

audit-contest-judging