Pinned Repositories
CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
SubsequentErrorCodeExamples
The code examples used in the expert interviews.
LWintr's Repositories
LWintr/CryptoAnalysis
CogniCrypt_SAST: CrySL-to-Static Analysis Compiler
LWintr/SubsequentErrorCodeExamples
The code examples used in the expert interviews.