Tim Ruffing

This looks very useful, can we get this merged?

@AnomalRoil When trying to prove IND-CCA2, I got stuck with implementing the decryption oracle. How did you manage?

I haven't looked at the details but seems related to #38.

duplicate of #26

I think we should at least maintain a repository where compatibility fixes such as #106 and #111 are merged. As long as there are incoming PRs for those issues, that...

> But as stated before, I am open to adding additional collaborators to this repository. If they feel up to the task of keeping Argos working across multiple Shell versions,...

@mwilck Can you PR https://github.com/mwilck/argos/pull/1 here? I believe this could be merged here because it's strictly more compatible than the existing code. That's a step at least. @mwilck Then with...

> OK, will do. @rammie has had 3 months to respond to [my comment](https://github.com/p-e-w/argos/pull/111#issuecomment-623550510). Give me a few more days, I'm currently busy with other stuff. Ok, sounds good! By...

> > @mwilck Can you PR [mwilck#1](https://github.com/mwilck/argos/pull/1) here? I believe this could be merged here because it's strictly more compatible than the existing code. > > OK, will do. @rammie...

Thanks @mwilck for your work. > If that's understood and accepted, and if there's at least one more person who accepts co-maintainership, I'm in the team. Just pinging here in...