Filter your results
- 3
- 3
- 3
- 3
- 1
- 1
- 1
- 2
- 3
- 1
- 1
- 1
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.519-538, ⟨10.1007/978-3-030-29381-9_32⟩
Conference papers
hal-02544556v1
|
||
|
Iterative Arrays with Self-verifying Communication Cell25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.77-90, ⟨10.1007/978-3-030-20981-0_6⟩
Conference papers
hal-02312617v1
|
||
|
Complexity-Theoretic Aspects of Expanding Cellular Automata25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.20-34, ⟨10.1007/978-3-030-20981-0_2⟩
Conference papers
hal-02312620v1
|