3 Commits

Author	SHA1	Message	Date
Owen Mansel-Chan	e6409e159f	Give reason why crypto algorithm is insecure	2024-11-29 11:54:27 +00:00
luchua-bc	bed8a68d28	Exclude broken algorithms from the list of secure algorithms	2020-12-17 00:41:23 +00:00
Arthur Baars	59869ace63	Java: teach Encryption.qll about MessageDigest.getInstance ... We already modelled usage of the protected `MessageDigest(String algo)` constructor as a crypto algorithm specification. For some reason we did not model the more commonly used public `MessageDigest.getInstance` method.	2020-04-25 00:41:10 +02:00