Browsing by author "Nikova, S."

Now showing items 1-2 of 2

Authenticated and auditable data sharing via smart contact

Reniers, V.; Gao, Y.; Zhang, R.; Viviano, P.; Madhusudan, A.; Lagaisse, B.; Nikova, S.; Van Landuyt, D.; Lombardi, R.; Preneel, Bart; Joosen, Wouter (2020)
VerMI: Verification Tool for Masked Implementations

Arribas, Victor; Nikova, S.; Rijmen, Vincent (2018)