Publisher
Springer Nature Singapore
Reference26 articles.
1. Lecture Notes in Computer Science;M Andrychowicz,2016
2. Lecture Notes in Computer Science;P Ananth,2018
3. Barthe, G., Belaïd, S., Cassiers, G., Fouque, P.-A., Grégoire, B., Standaert, F.-X.: maskverif: Automated analysis of software and hardware higher-order masked implementations. Cryptology ePrint Archive (2018)
4. Lecture Notes in Computer Science;G Barthe,2019
5. Barthe, G., et al.: Strong non-interference and type-directed higher-order masking. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 116–129 (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献