ProvenApps is a suite of trusted applications designed to run on top of ProvenCore and ProvenCore-M, ProvenRun's formally verified secure operating systems for IoT and embedded devices. The applications provide security functions across IoT device lifecycles, enabling compliance with evolving regulations and industry security standards. They are built on ProvenCore's formal methods-based isolation guarantees, ensuring confidentiality and integrity of sensitive data between applications. Trusted Applications for ProvenCore include: - Secure Storage: Protection of confidential data - Crypto (OpenSSL): Cryptographic functions - TLS/VPN: Secure communication channels - Firewall: Network traffic filtering and control - Firmware Update: Secure over-the-air device firmware updates - Stack IP v4/v6: Secure networking protocols - Android KeyStore/KeyMaster: Security for Android devices - OP-TEE and GlobalPlatform API: Porting of existing security applications - Secure Proxies: Filtering and securing network traffic - Health Monitoring: IoT device health monitoring - IPSec/IKE: Secure communication protocols - IDS: Intrusion detection for security breach identification - PKI Management (PKCS#11): Public key infrastructure management Trusted Applications for ProvenCore-M include Secure Storage, Crypto, Attestation, and Firmware Update. These are native and Arm PSA certified. Several applications carry Common Criteria and SESIP certifications. Applications are available for Automotive, Aerospace and Defense, and IoT verticals. Custom application development is supported via an SDK and IDE.