AutoGroup and AutoStrong
Date:
A talk on two complementary tools, AutoGroup and AutoStrong. The AutoGroup tool converts a pairing-based encryption or signature scheme written in (simple) symmetric group notation into a specific instantiation in the more efficient, asymmetric setting. The AutoStrong tool focuses on the security of digital signature schemes by automatically converting an existentially unforgeable signature scheme into a strongly unforgeable one.