Browsing by Author "Nikova, S."

Now showing 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.
Proceedings paper
2020, SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing, 30/03/2020, p.324-331
VerMI: Verification Tool for Masked Implementations

Arribas, Victor
;
Nikova, S.
;
Rijmen, Vincent
Proceedings paper
2018, 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS), 9/12/2018