Skip to content

Issues: cryspen/atlas

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 29 Closed
15 Open 29 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

[MPC] Synchronization issues
#77 opened Jun 5, 2024 by jschneider-bensch
@jschneider-bensch
2
[MPC] Specify actively secure two-party authenticated bit protocol
#63 opened Apr 18, 2024 by jschneider-bensch
@jschneider-bensch
5
Add CI for Proofs
#55 opened Jan 30, 2024 by jschneider-bensch
[Meta] MPC specification meta
#47 opened Jan 24, 2024 by jschneider-bensch
11 of 13 tasks
@jschneider-bensch
3
[ScrambleDB] Double encryption is insufficient
#45 opened Jan 22, 2024 by jschneider-bensch
1
@jschneider-bensch
3
Fix demo build for up to date libcrux P2 Pick up next S small
#41 opened Nov 6, 2023 by jschneider-bensch
1
@jschneider-bensch
4
Consistent use of references vs calling by value M middle P3 Later
#36 opened Oct 13, 2023 by jschneider-bensch
Fix permission issues in docs P3 Later S small
#34 opened Oct 9, 2023 by jschneider-bensch
Consistent handling of randomness and sampling P2 Pick up next S small
#19 opened Aug 23, 2023 by jschneider-bensch
Documentation for ScrambleDB and components L large P2 Pick up next
#17 opened Aug 23, 2023 by jschneider-bensch
Proper Error propagation M middle P2 Pick up next
#15 opened Aug 23, 2023 by jschneider-bensch
Settle on identifier scheme for joined tables P2 Pick up next S small
#14 opened Aug 23, 2023 by jschneider-bensch
Choice of PRF / PRP for pseudonym "hardening" P3 Later S small
#13 opened Aug 23, 2023 by jschneider-bensch
1
Extract curve traits and implement them in the curve crates. L large P3 Later
#5 opened Aug 3, 2023 by franziskuskiefer
Generic Hash-to-Curve L large P3 Later
#3 opened Aug 3, 2023 by franziskuskiefer
ProTip! Type g i on any issue or pull request to go back to the issue listing page.