David Artmann's repositories
AndroidAutoPrototype1
First Prototype for use with Android Auto
App-Security-iOS-Android
Latex Repository for a Seminarwork
artmannwiki.android
Android Application for the ArtmannWiki Backend
JavaFXSpringSample
A sample app for Spring integration with JavaFX
JavaX509Example
Repo with sample usages of Bouncycastle lib and X509 certificates
cve-2020-1054
LPE for CVE-2020-1054 targeting Windows 7 x64
give-me-coinsMonitoringApp
Android app for monitoring workers on give-me-coins.com mining pool.
GraphAlgorithm
Repo for the FWPM Graph Algorithms
MinuteClock
A TLA+ model for a clock with hours and minutes.
nativescript-signature-test
Temporary repo for testing of digital signatures on Android with {N}
PythonScripts
Just a repo of some python scripts
SecureComputation
Repo for the lecture Secure Computation
Web-und-Scriptsprachen-Tutorium
Repo for the Tutorium of Web and Scriptlanguages