issues
search
cryspen
/
atlas
BMBF ATLAS project
https://cryspen.com/atlas/
4
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
ScrambleDB WASM demo fix / ElGamal based Rerandomizable encryption
#80
jschneider-bensch
opened
2 months ago
0
[System] Sketch ATLAS system API
#79
jschneider-bensch
closed
2 weeks ago
2
Maliciously secure bit authentication / Refactoring
#78
jschneider-bensch
opened
4 months ago
0
[MPC] Synchronization issues
#77
jschneider-bensch
opened
5 months ago
2
Top Level MPC protocol
#76
jschneider-bensch
closed
5 months ago
0
AND triple generation
#75
jschneider-bensch
closed
6 months ago
0
Share authentication protocol
#74
jschneider-bensch
closed
6 months ago
0
[MPC] Perform all bit authentications as a batch upfront
#73
jschneider-bensch
closed
6 months ago
0
Multi-Party bit authentication spec
#72
jschneider-bensch
closed
6 months ago
0
Equality Subprotocol
#71
jschneider-bensch
closed
7 months ago
0
[MPC] Specify secure AND triple generation
#70
jschneider-bensch
closed
6 months ago
0
[MPC] Specify leaky AND triple generation
#69
jschneider-bensch
closed
6 months ago
0
[MPC] Specify half-authenticated And protocol
#68
jschneider-bensch
closed
6 months ago
0
[MPC] Specify multi-party coin-flipping protocol
#67
jschneider-bensch
closed
6 months ago
0
[MPC] Specify n-party authenticated bit protocol
#66
jschneider-bensch
closed
6 months ago
0
[MPC] Specify authenticated share protocol
#65
jschneider-bensch
closed
6 months ago
0
[MPC] Specify secure two-party equality check
#64
jschneider-bensch
closed
7 months ago
1
[MPC] Specify actively secure two-party authenticated bit protocol
#63
jschneider-bensch
opened
7 months ago
5
Simple OT
#62
jschneider-bensch
closed
7 months ago
0
Move MPC engine to shared ATLAS workspace
#61
jschneider-bensch
closed
7 months ago
0
Basic MPC communication architecture & Example
#60
jschneider-bensch
closed
7 months ago
0
Define top-level message types
#59
jschneider-bensch
closed
8 months ago
0
Add README for MPC specification
#58
jschneider-bensch
closed
8 months ago
0
[MPC] Specify circuit representation
#57
jschneider-bensch
closed
9 months ago
0
Factor out rerandomizing encryption scheme
#56
jschneider-bensch
closed
9 months ago
0
Add CI for Proofs
#55
jschneider-bensch
opened
9 months ago
0
[MPC] Specify evaluation phase
#54
jschneider-bensch
closed
5 months ago
0
[MPC] Specify output processing phase
#53
jschneider-bensch
closed
5 months ago
0
[MPC] Specify input processing phase
#52
jschneider-bensch
closed
5 months ago
0
[MPC] Specify function-dependent pre-processing phase
#51
jschneider-bensch
closed
5 months ago
0
[MPC] Specify function-independent pre-processing phase
#50
jschneider-bensch
closed
5 months ago
0
[MPC] Specify information theoretic MAC
#49
jschneider-bensch
closed
6 months ago
0
[MPC] Specify Base OT
#48
jschneider-bensch
closed
7 months ago
0
[Meta] MPC specification
#47
jschneider-bensch
opened
10 months ago
3
[MPC] Specify architecture
#46
jschneider-bensch
closed
7 months ago
0
[ScrambleDB] Double encryption is insufficient
#45
jschneider-bensch
opened
10 months ago
3
[MPC] Specify online phase
#44
jschneider-bensch
closed
10 months ago
1
[MPC] Specify Preprocessing phase
#43
jschneider-bensch
closed
10 months ago
1
[MPC] Specify data types
#42
jschneider-bensch
closed
7 months ago
1
Fix demo build for up to date `libcrux`
#41
jschneider-bensch
opened
1 year ago
4
Jonas/refactor tables
#40
jschneider-bensch
closed
1 year ago
3
Fix link on landing page
#39
jschneider-bensch
closed
1 year ago
0
Introduce domain separation & panic on insufficient randomness for scalar sampling
#38
jschneider-bensch
closed
1 year ago
0
Bare-bones landing page for ATLAS
#37
jschneider-bensch
closed
1 year ago
0
Consistent use of references vs calling by value
#36
jschneider-bensch
opened
1 year ago
0
Factor out data transformations
#35
jschneider-bensch
closed
1 year ago
0
Fix permission issues in docs
#34
jschneider-bensch
opened
1 year ago
0
Fix gh pages deployment
#33
franziskuskiefer
closed
1 year ago
0
Update docs.yml
#32
jschneider-bensch
closed
1 year ago
0
Update docs.yml
#31
jschneider-bensch
closed
1 year ago
0
Next