6 Commits

Author	SHA1	Message	Date
Gilles Peskine	4eefade8bf	Sketch some optimizations relevant to MD light ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-25 23:05:14 +01:00
Gilles Peskine	f634fe10e7	Sketch the work to migrate to MD light ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-25 23:04:51 +01:00
Gilles Peskine	188e900a6d	Specify MD light based on the interface requirements ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-25 23:04:16 +01:00
Gilles Peskine	382b34ca84	Work out the hash interface requirements ... Finish working out the RSA-PSS example in terms of what it implies about the interface. The key takeaway is that a mixed-domain module must support algorithms if they are available through either interface, and that's all there is to it. The details of how dispatch is done don't matter, what matters is only the availability, and it's just the disjunction of availabilities. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-25 22:57:18 +01:00
Gilles Peskine	c82050efdb	Starting to work out the RSA-PSS example ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-08 19:17:58 +01:00
Gilles Peskine	d47ba71676	New strategy: start the analysis ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-07 22:28:26 +01:00