Type-directed Program Transformation for Constant-Time Enforcement
| Title: | Type-directed Program Transformation for Constant-Time Enforcement |
|---|---|
| Authors: | Raimondi, Gautier; Besson, Frédéric; Jensen, Thomas |
| Source: | Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming. :1-13 |
| Availability: | http://dl.acm.org/doi/10.1145/3610612.3610618 |
| Database: | ACM Full-Text Collection |