A-SIT Plus Open Source

Sharing is Caring!

Below you'll find projects developed at A-SIT Plus published as free and open-source software. We heavily rely on Kotlin multiplatform. Hence, some of the project's buildscripts might also be of interest to the public, even if a certain project may be specifically tailored to our internal needs.

VC-K

KMP (JVM and iOS) verifiable credentials library implementing the W3C VC data model and ISO 18013-5 mDL. Issue (ARIES, OID4VCI), present (ARIES, SIOPv2), and verify VCs.

VC-K Swift Package

Swift package wrapping the VC-K library. Also discusses recommended iOS-specific extensions for smoother integration in iOS apps. This package is directly usable in XCode projects.

Credentials Collection

Collection of all verifiable credentials implemented using VC-K. Features IDA Credentials, Mobile Driving License, EU PID Credential, Power of Representation, and Certificate of Residence.

Signum

KMP Crypto/PKI library with datatypes for certificates, public keys, PKCS#10 CSRs, etc.
100% pure Kotlin ASN.1 parser + encoder included! Interops with JOSE, COSE, JCA and iOS datatypes.

multi²_base

Kotlin multiplatform multibase encoder/ decoder. This library is a port of Protocol Labs' Kotlin/JVM multibase implementation. Its correctness verified against official test vectors.

JsonPath4K

100% pure Kotlin Multiplatform (JVM, Android, iOS) library for working with JSON Paths as defined in RFC9535. It supports the function extensions specified in RFC9535 by default.

KMM Result

100% pure Kotlin multiplatform result class. Drop-in replacement for Kotlin's stdlib Result, but usable from Swift and Objective C. Maps from/to Result. Not a value class for interop reasons.

WARDEN

Server-side mobile client attestation library. Provides a unified interface for remotely establishing trust in iOS and Android clients. Configurable from Spring Boot and Hoplite.

WARDEN-roboto

High-level server-side android key and app attestation library. Integral part of WARDEN. Integrates upstream attestation verification logic from Google. Configurable from Spring Boot and Hoplite.

Pupil ID Library

KMP library implementing features of the Austrian electronic pupil ID (edu.digicard) as W3C Verifiable Credentials. Targets iOS and Android on the client side, and JVM back-ends.

KMM DGC Library

Kotlin (JVM+JS) implementation of the HCERT/DCC specification. Create and verify Electronic Health Certificates used during the second half of the COVID pandemic.

Swift ValidationCore

Swift library for validating Electronic Health Certificates (HCERT) popularised during the second half of the COVID pandemic.
An iOS demonstration application is available.

Cashbox Democode

Java demo code for producing and verifying signed cashbox receipts compliant with the Austrian cashbox security regulation. Conceived in 2015. Apache-licensed; uses maven.

Gradle Conventions

Custom Gradle Plugin used for our projects. Currently, it supports JVM-only projects and Kotlin Multiplatform projects. Also works as an example on how this can be done in general.

~ See also our GitHub Org for additional projects ~