Pinned Repositories
3d_final_report
Content of final report
AutoEq
Automatic headphone equalization from frequency responses
CogniCrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
CogniCrypt-CI-Integration
This repository contains code for a Jenkins adaptor for CogniCrypt which is based on warnings-ng-plugin https://github.com/jenkinsci/warnings-ng-plugin
CogniCrypt_DOC
Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
CryptSL
Facebook_Activity_PG
haptics
svenfeld's Repositories
svenfeld/3d_final_report
Content of final report
svenfeld/AutoEq
Automatic headphone equalization from frequency responses
svenfeld/CogniCrypt
CogniCrypt is an Eclipse plugin that supports Java developers in using Java Cryptographic APIs.
svenfeld/CogniCrypt-CI-Integration
This repository contains code for a Jenkins adaptor for CogniCrypt which is based on warnings-ng-plugin https://github.com/jenkinsci/warnings-ng-plugin
svenfeld/CogniCrypt_DOC
svenfeld/Crypto-API-Rules
This repository contains all CrySL rules currently used in the crypto assistant CogniCrypt.
svenfeld/CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
svenfeld/CryptSL
svenfeld/Facebook_Activity_PG
svenfeld/haptics
svenfeld/hugo-website-sources
svenfeld/Hugobuild
svenfeld/PathExpression
An implementation of Tarjan's PathExpression algorithm
svenfeld/SPDS
Efficient and Precise Pointer-Tracking Data-Flow Framework