search result

Cover von Automatic Generation of Declarative Models For Differential Cryptanalysis

Automatic Generation of Declarative Models For Differential Cryptanalysis

Year: 2021
Media group: LIPIcs
Cover von Proof of Behavior (Short Paper)

Proof of Behavior (Short Paper)

Year: 2021
Media group: OASICS
Cover von A Cryptographer's Conspiracy Santa

A Cryptographer's Conspiracy Santa

Year: 2018
Media group: LIPIcs
Cover von Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and  KenKen

Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen

Year: 2016
Media group: LIPIcs
Cover von Card-Based ZKP Protocols for Takuzu and Juosan

Card-Based ZKP Protocols for Takuzu and Juosan

Author: Shinagawa, Kazumasa; Nagao, Atsuki; Sone, Hideaki
Year: 2020
Media group: LIPIcs
Cover von Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)

Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge)

Author: Libralesso, Luc
Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0