Software & Tools

On this site you can find the software, tools and demonstrators that are developed in the context of CROSSING.

CogniCrypt - an intelligent open-source platform ensuring the secure usage of crypto components

https://www.crossing.tu-darmstadt.de/typo3temp/_processed_/csm_eclipse-cognicrypt_21830e3139.pngA central goal of CROSSING is to collaboratively develop CogniCrypt, an intelligent open-source platform for hosting cryptographic components (developed in the CROSSING projects or outside of CROSSING) that actively assists application developers in selecting and correctly integrating its components into applications. 

Further details can be found on the CogniCrypt webpage.

CogniCrypt is an official Eclipse project since December 2017.
https://www.eclipse.org/cognicrypt/


ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation

Authors: Daniel Demmler, Thomas Schneider, Michael Zohner (CROSSING Project E4)
Published: In 21st Network and Distributed System Security Symposium (NDSS'15)
http://encrypto.de/papers/DSZ15.pdf
Description: ABY is a framework for implementing secure two-party computation protocols in three different domains that allows to freely and efficiently convert between them. ABY enables the  developer to abstract from smaller protocol building blocks in order to realize complex applications.
Target group: Developers
Software development phase: Implementation
Application environment: Secure Computation Protocols
Programming language: C/C++
Software Repository: http://www.encrypto.de/code/ABY


Adele - An Automatic Inference of Minimal Security Types

Authors: Dominik Bollmann, Steffen Lortz, Heiko Mantel, Artem Starostin (CROSSING Project E3)
Published: 11th International Conference on Information Systems Security (ICISS'15)
Description: The Assistant for Developing Leak-free Programs (Adele) is an Eclipse-Plugin for the static detection of information leaks in Java source code. It supports programmers in the development of secure software by providing them feedback about possible security issues in their source code as they write it. Adele provides an overview of possible security violations and highlights them in the program's source code. Further information can be found here.
Target group: Software Developer, Programmer
Software development phase: Implementation, Testing
Application environment: Usable as Eclipse-Plugin and Command-Line Tool
Programming language: Java
License: MIT License (http://opensource.org/licenses/MIT)


Boomerang

Authors: Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden (CROSSING Project E1)
Description: Boomerang is a demand-driven, flow-, field-, and context-sensitive pointer analysis for Java programs. Boomerang computes rich results that include both the possible allocation sites of a given pointer (points-to information) and all pointers that can point to those allocation sites (alias information). For increased precision and scalability, clients can query Boomerang with respect to particular calling contexts of interest.
Download: https://github.com/uasys/boomerang


C-FLAT - Control- FLow ATtestation

Authors: Dr. Lucas Davi (CROSSING Project S2), Prof. N. Asokan (University of Helsinki)
Published: In ACM CCS '16
Description: Control- FLow ATtestation (C-FLAT) enables remote attestation of an application's control-flow path. 
Download: https://github.com/control-flow-attestation/c-flat
Target group: Security Practitioners, Embedded System Developers
Software development phase: Implementation, Testing
Application environment: Stand-alone C / ARM Assembler implementation
Programming language: C, ARM Assembler


CacheAudit 0.2b, CacheAudit 0.2c

Authors: CROSSING Project E3  (with Boris Köpf for 0.2b)
Description: CacheAudit 0.2b and CacheAudit 0.2c are extensions of the tool CacheAudit [Doychev,Köpf,Mauborgne,Reinecke2015] to cope with standard AES implementations (e.g., OpenSSL, mbedTLS) and to support analysis of the lattice-based security scheme ring-TESLA. They take as input an x86 binary and return upper bounds on the side-channel leakage of the binary with respect to four attacker models.
Download: http://www.mais.informatik.tu-darmstadt.de/cacheaudit-essos17.html


CertainTrust SDK 1.0

A Robust Bayesian Trust Model for Humans and Agents
(CROSSING Project S1)

In the vision of ubiquitous computing, the activities of daily life are supported by a multitude of heterogeneous, loosely coupled computing devices. The support of seamless collaboration between users, as well as between their devices, can be seen as one of the key challenges for this vision to come true.

This project provides a trust based approach to supporting the selection of trustworthy interaction partners. The goal of this approach is to estimate an entity's trustworthiness as accurately as possible in order to improve the average quality of the entity's interactions. An online demonstrator is also available. More information can be found here.

Download: CertainTrust SDK 1.0


Cheetah

Authors: Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson Murphy-Hill (CROSSING Project E1)
Description: The Just-in-Time analysis concepts aims at making static analysis more usable to the end user, often the code developer. It allows analysis writers to encode prioritization properties into the analysis. At runtime, certain paths are analyzed before others, allowing important results to be returned first. CHEETAH is an implementation of the Just-in-Time analysis concept for taint analysis for Android applications. It is integrated in the Eclipse IDE as a plugin.
Download: https://github.com/secure-software-engineering/cheetah


CMBC-GC

Authors: Andreas Holzer, Martin Franz, Niklas Büscher, Stefan Katzenbeisser, Helmut Veith (CROSSING Project S5)
Description: CBMC-GC is a compiler for C programs in the context of secure two-party computation (STC). It compiles a C program that specifies a secure computation into a circuit which can be read in by an STC platform, which then performs the secure computation between two parties A and B.
Download: http://forsyte.at/software/cbmc-gc/


DNS X-Ray

Authors: Amit Klein, Vladi Kravtsov, Alon Perlmutter, Haya Shulman, Michael Waidner (CROSSING Project S3)
Description: DNS X-ray tool enables evaluation caches for vulnerabilities to records' injection. The tool also performs fingerprinting of software and operating system of the caches.
Download: http://dns.xray.sit.fraunhofer.de/


DNSSEC

Authors: Tianxiang Dai, Haya Shulman, Michael Waidner (CROSSING Project S3)
Description: Misconfigurations in Signed Domains
Download: https://dnssec.cad.sit.fraunhofer.de/


Extension of the LWE-Estimator

Authors: Markus Schmidt (supervised by Nina Bindel) (CROSSING Project P1)
Description: The LWE-Estimator is an online tool to estimate the concrete hardness of LWE. In our extension we added the ability to estimate the hardness with respect to a given number of LWE samples.
Download: bitbucket.org/malb/lwe-estimator from commit-id eb45a74 on


Faster Oblivious Transfer (OT) Extensions

Authors: Gilad Asharov, Yehuda Lindell, Thomas Schneider, and Michael Zohner (CROSSING Project E4)
Published: In 20th ACM Conference on Computer and Communications Security (CCS'13)
http://eprint.iacr.org/2013/More Efficient Oblivious Transfer and Extensions for Faster Secure Computation.pdf
Description: This tool implements an OT extension protocol that has less communication and computation complexity than the original OT extension protocol by Ishai et al. (CRYPTO'03) and thereby achieves a runtime improvement of at least factor 3 over existing OT extension implementations. It supports highly parallel architectures by running in a block-wise and multi-threaded fashion. Moreover, it implements the correlated and random OT functionality, which allows several secure computation protocols to further decrease the amount of data that has to be sent over the network. The tool can be applied in a wide range of deployment scenarios by allowing the designer to choose between different levels of security as well as underlying cryptographic assumptions.
This tool can be used for the development of privacy preservingapplications as well as a tool to protect information in applications.
Target group: Developer
Software development phase: Implementation
Application environment: Secure computation protocols
Programming language: C/C++
Software Repository: http://encrypto.de/code/OTExtension


FlowDroid

(CROSSING Project E1)
Description: FlowDroid is a context-, flow-, field-, object-sensitive and lifecycle-aware static taint analysis tool for Android applications. Unlike many other static-analysis approaches for Android we aim for an analysis with very high recall and precision. To achieve this goal we had to accomplish two main challenges: To increase precision we needed to build an analysis that is context-, flow-, field- and object-sensitive; to increase recall we had to create a complete model of Android’s app lifecycle.

Download: https://github.com/secure-software-engineering/soot-infoflow-android/wiki


GSHADE - Faster Privacy-Preserving Distance Computation and Biometric Identification

Authors: Julien Bringer, Herve Chabanne, Melanie Favre, Alain Patey,
Thomas Schneider, Michael Zohner (CROSSING Project E4)
Published: In 2nd ACM Workshop on Information Hiding and
Multimedia Security (IHMMSEC'14) http://encrypto.de/papers/BCFPSZ14.pdf
Description: GSHADE is a tool for privacy-preserving distance computation which can be used for privacy-preserving biometric identification. GSHADE supports the following distance metrics: Hamming distance, normalized Hamming distance, Euclidean distance, and Scalar product.
Target group: Developers
Software development phase: Implementation
Application environment: Secure Computation Protocols
Programming language: C/C++
Software Repository: http://encrypto.de/code/GSHADE


IDEal

Authors: Johannes Späth, Karim Ali, Eric Bodden (CROSSING Project E1)
Description: IDEal is an alias-aware extension to the framework for Interprocedural Distributive Environment (IDE) problems. It allows to customize object-sensitive data-flow analyses and automatically reasons about aliasing on-the-fly.
Download: https://github.com/uasys/ideal


Integration of ring-TESLA in GnuPG

Authors:Hong Linh Thai, Christian Klos (supervised by Nina Bindel) (CROSSING Project P1)
Description: This software is a fork of GnuPG with integration of the lattice-based signature scheme ring-TESLA.
Download: https://github.com/hlThai/gpg-TeslaRing


LWE Challenge

Authors: Johannes Buchmann, Niklas Büscher, Stefan Katzenbeisser, Juliane Krämer, Daniele Micciancio, Sander Siim, Christine van Vredendaal, Michael Walter, Florian Göpfert (CROSSING Project P1)
Description: The LWE Challenge
Download: https://www.latticechallenge.org/lwe_challenge/challenge.php


Memory Efficient Secure Function Evaluation (me-sfe)

Authors: Wilko Henecka, Thomas Schneider (CROSSING Project E4)
Published: In: 8th ACM Symposium on Information, Computer and Communications Security (ASIACCS'13)
http://thomaschneider.de/papers/Memory Efficient Secure Function Evaluation (me-sfe).pdf
Description: The tool is an improved implementation of Yao’s garbled circuit protocol in the semi-honest adversaries setting which is up to 10 times faster than previous implementations. Its improvements include

  • the first multi-threaded implementation of the base oblivious transfers resulting in a speedup of a factor of two
  • techniques for minimizing the memory footprint during oblivious transfer extensions and processing of circuits
  • compilation of sub-circuits into files, and
  • caching of circuit descriptions and network packets.

This tool can be used for the development of privacy preserving applications as well as a tool to protect information in applications.

Target group: DeveloperSoftware development phase: ImplementationApplication environment: Compiler for Memory-Efficient Two-Party Secure Function EvaluationProgramming language: JavaSoftware Repository: encrypto.de/code/me-sfe


mmTrace: Ray-tracing Based Millimeter-wave Propagation Simulation

Authors: Daniel Steinmetzer, Jiska Classen, Matthias Hollick (CROSSING Project S1)
Description: mmTrace is a deterministic image-based ray-tracing simulation framework for mm-wave propagation developed in MATLAB. It supports the design of mm-wave specific protocols and, in contrast to common statistical models, deals with multiple transceivers. The strengths of mmTrace constitute signal variations at different receivers and interference of multiple transmitters, which are crucial in certain situations. It generates channel impulse responses and determines signal characteristics in arbitray scenarios.
Download: https://github.com/seemoo-lab/mmTrace


MobilePSI

Title: Private set intersection for unequal set sizes with mobile applications
Authors: Ágnes Kiss, Jian Liu, Thomas Schneider, N. Asokan, Benny Pinkas (CROSSING Project E4)
Published: In Proceedings on Privacy Enhancing Technologies (PoPETs), 2017(4)(Download)
Description: We transformed four existing PSI protocols into the so-called precomputation form such that in the setup phase the communication is linear only in the size of the larger input set, while in the online phase the communication is linear in the size of the smaller input set. The implementation contains all four protocols and can be used to run experiments between two PCs and between a PC and a smartphone to create a systematic comparison of their performance.
Target Group: Developers
Software Development Phase: Implementation
Application Environment: Secure Computation Protocols
Programming Language: C/C++/Java
Software Repository: http://encrypto.de/code/MobilePSI


OnionPIR: Effective protection of sensitive metadata in online communication networks.

Authors: Daniel Demmler, Marco Holz, and Thomas Schneider (CROSSING Project E4)
Published: In 15th International Conference on Applied Cryptography and Network Security (ACNS'17) (Download)
Description: We proposed and implemented OnionPIR, an anonymous messaging service as an example application for PIR combined with onion routing that prevents the leakage of communication meta-data. The evaluation of this prototype shows that OnionPIR is usable in practice.
Target Group: Developers
Software Development Phase: Implementation
Application Environment: Secure Computation Protocols
Programming Language: C/C++
Sourcecode Repository: https://github.com/encryptogroup/onionPIR


OPAL

(CROSSING Project E1)

Description: OPAL is an Open, extensible Analysis Library for Java bytecode which is written in Scala and which consist of multiple projects which build on top of each other. At the core is a newly developed, highly configurable and adaptable bytecode toolkit. On top of that we provide you with a framework for the abstract interpretation of Java Bytecode. These two frameworks are the foundation for various tools targeted towards developers who want to improve the quality of their software. In particular tools for specifying and validating software architectures as well as for finding bugs.

OPAL Project: http://www.opal-project.de/
Sourcecode repository: https://bitbucket.org/delors/opal


Private Set Intersection (PSI)

Authors: Benny Pinkas, Thomas Schneider, Michael Zohner (CROSSING Project E4)
Published: In 23rd USENIX Security Symposium (USENIX'14) http://encrypto.de/papers/PSZ14.pdf and 24th USENIX Security Symposioum (USENIX'15) http://encrypto.de/papers/PSZ15.pdf
Description: Many actions in the digital world require the user to reveal his complete data. However, often the user does not want all of his data to be disclosed to a third party. For example, when using mobile messaging apps, the app requires access to the user's address book in order to identify the contacts that also use this app. This tool implements Private Set Intersection (PSI) protocols, a cryptographic technique, which allows a secure identification of common contacts, without disclosing any other data. The implemented PSI protocols thereby enable a user-controlled and privacy-preserving comparison of data.
Target group: Developers
Software development phase: Implementation
Application environment: Secure Computation Protocols
Programming language: C/C++
Software Repository: http://www.encrypto.de/code/PSI


PUF-Toolkit

Contactperson: Nikolaos Athanasios Anagnostopoulos (CROSSING Project P3)
Published:
Description: We have implemented a toolkit for the assessment of PUFs based
on well-known metrics and for the generation of cryptographic tokens based on
their responses. Implemented metrics include Hamming weight, intra- and
inter-device Hamming distance, (Shannon) entropy, min-entropy and intra- and
inter-device Jaccard index. Cryptographic tokens can be produced using a
Golay- or a BCH-ECC-based fuzzy extractor. Parts of this toolkit have been
integrated into CogniCrypt.
Target group: Developers
Software development phase: Implementation
Programming language: C/C++
Software Repository: https://github.com/prankurgit/PUF_Toolkit/


Roalert

Authors: Yossi Gilad, Amir Herzberg, Michael Schapira, Haya Shulman (CROSSING Project S3)
Description: Automated evaluation of deployment of cryptography for BGP, misconfigurations and vulnerabilities.
Download: http://roalert.org/


Side-Channel Finder AVR

Authors: CROSSING Project E3
Description: The Side-Channel FinderAVR is a tool for checking AVR assembly programs for timing-side-channel leakage. It takes as inputs an AVR assembly program and a configuration specifying which information is considered secret. The tool either returns with a success or with a failure report. In case of a success, the AVR assembly program is secure. In case of a failure report, the developer is pointed to a location in the code that potentially introduces timing-side-channel leakage. The Tool is based on a security type-system that is sound with respect to timing-sensitive noninterference.
Download: http://www.mais.informatik.tu-darmstadt.de/scf2017.html


Soot – Static code analysis and transformation for Java

Authors: CROSSING Project E1
Description: Soot is one of the most widely used analysis and transformation frameworks for Java bytecode and source code. Soot features a wide-range of intermediate representations that make static program analysis as easy as it can be. While Soot is not our own development, we are maintaining the framework at the moment. It was developed at the Sable Research Group of McGill University, but with contributions by other researchers from all over the world. Many of our existing tools are based on Soot and/or integrate with it. Further Information can be found here.
Target group: Programmer
Software development phase: Implementation
Application environment: Java, Eclipse Plugin
Programming language: Java License: LGPL 2.1


TaaS4Cloud

Authors: Sheikh Mahbub Habib, Max Mühlhäuser (CROSSING Project S1)
Description: TaaS4Cloud, a web service, which is developed for potential cloud users to assess the level of cloud providers’ security capabilities. It considers provider supplied public information from the CSA STAR in order to assess and quantify the security capabilities. The level of security capabilities is communicated to potential cloud service users via numerical score and intuitive graphical interfaces.
Download: http://taas4cloud.tk.informatik.tu-darmstadt.de/


Talon Tools: The Framework for Practical IEEE 802.11ad Research

Authors: Daniel Steinmetzer, Daniel Wegemer, Matthias Hollick

Description: The Talon Tools project consolidates a set of software tools for
practical research with commodity IEEE 802.11ad devices. It bases on
TP-Link's Talon AD7200, which is the first wireless router that supports the
IEEE 802.11ad standard and was released in 2016. Using this platform allows
to investigate various aspects of 60 GHz millimeter-wave communication in
realistic on-site experiments. With our framework, we support various kinds
of experiments and evaluations performed with multiple routers in arbitrary
environments.
Web page: https://github.com/seemoo-lab/talon-tools
Responsible PI: Prof. Matthias Hollick
Department: Computer Science
Research Group: Secure Mobile Networking
Assigned to:
  - CRISP
  - CROSSING
  - NICER
   ==Project details:==
   CROSSING sub-project: S1 - Scalable Trust Infrastructures


TESLA and ring-TESLA

Authors: Sedat Akleylek, Erdem Alkim, Nina Bindel, Johannes Buchmann, Özgür Dagdelen, Edward Eaton, Gus Gutoski, Juliane Krämer, Giorgia Azzurra Marson, and Filip Pawlega (CROSSING Project P1)
Description: TESLA is a lattice-based signature scheme from the learning with errors problem that is secure even against quantum adversaries. The signature scheme ring-TESLA is the more efficient variant of TESLA over ideal lattices.
Download: https://tesla.informatik.tu-darmstadt.de/de/tesla/


Universal Circuit (UC) Compiler

Title: Implementation of Valiant's Universal Circuit Construction Optimized for Private Function Evaluation
Authors: Ágnes Kiss, Thomas Schneider (CROSSING Project E4)
Published: In 35th Advances in Cryptology (EUROCRYPT'16)(Download)
Description: Our Universal Circuit Compiler implements the most efficient UC construction, originally proposed by Leslie G. Valiant in STOC`76. It accepts any Boolean circuit as input in SHDL format, provided that the gates have at most two incoming edges, and outputs the topology of the UC along with its programming bits corresponding to the circuit.
Target Group: Developers
Software Development Phase: Implementation
Application Environment: Secure Computation Protocols
Programming Language: C/C++
Sourcecode Repository: https://github.com/encryptogroup/UC


VisuFlow

Authors: Lisa Nguyen Quang Do, Stefan Krüger, Patrick Hill, Karim Ali, Eric Bodden (CROSSING Project E1)
Description: VisuFlow is a debugging environment designed to support static analysis writers understand and debug an analysis. It is written as an Eclipse plugin, and supports static data-flow analyses written on top of the Soot analysis framework.
Download: https://github.com/VisuFlow


XMSS: Extended Hash-Based Signatures

Authors: Project Quantencomputer-resistente Signaturverfahren für die Praxis / squareUP --- Stefan-Lukas Gazdag (genua GmbH), Denis Butin (CDC)
Published: IRTF Internet-Draft draft-irtf-cfrg-xmss-hash-based-signatures-03 (https://datatracker.ietf.org/doc/draft-irtf-cfrg-xmss-hash-based-signatures/)
Description: The hash-based signature scheme XMSS is specified in the Internet-Draft "XMSS: Extended Hash-Based Signatures". Hash-based signatures are the first post-quantum signature scheme undergoing standardisation. This open source implementation closely follows the Internet-Draft, and is available on the squareUP project website (http://www.pqsignatures.org/index/publications.html#code).
Target group: Standardisation and specification organisation members, stakeholders
Software development phase: Cross-tested, available
Application environment: Stand-alone C implementation, OpenSSL dependency
Programming language: C
License: BSD License

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Kontakt Contact | Website Analysis: More Information
zum Seitenanfangzum Seitenanfang