Petri net framework for security related modeling and reasoning.
Fills a rectangle using given tetris shapes
DMS for linux, C++ library, server, webUI , SOAP
Bit level lambda continuations and nothing else - Queue automata
Securly execute untrusted code from within your application.
FaceAccess is an Access Control System based on Facial Recognition
A Java library to communicate with SAP
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Easy to use GlobalPlatform tool (and a Java library)
Mobile signature service client Java API
An authentication plugin for Play Framework 2.x (Java)
Task Scheduler for Java, Groovy, Javascript, python & ruby
AES-128 bit file encryptor
Java native access for pc/sc, pkcs11, openct based on JNA
Open Source Penetration Testing / Ethical Hacking Framework
A Lexer and a Parser to PHP scripts
Web Application Vulnerability Scanner Evaluation Project