Skip to content
View dpsmith's full-sized avatar
  • Apertus Solutions, LLC

Organizations

@OpenXT

Block or report dpsmith

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
5 stars written in Java
Clear filter

Efficient reliable UDP unicast, UDP multicast, and IPC message transport

Java 8,580 1,026 Updated Apr 15, 2026

Hardware-based attestation and intrusion detection app for Android. It provides both local verification with another Android device via QR codes and optional scheduled server-based verification wit…

Java 647 103 Updated Apr 14, 2026

attestation.app remote attestation server. Server code for use with the Auditor app: https://github.com/GrapheneOS/Auditor. It provides two services: submission of attestation data samples and a re…

Java 155 55 Updated Apr 15, 2026

descartes: the cartesian hoare logic prover

Java 12 3 Updated Feb 23, 2017

Platform Certificate Validation Tool - TPM 2.0

Java 11 3 Updated Dec 9, 2018