Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rébecca Zucchini
Strong Non-Interference and Type-Directed Higher-Order Masking
Related publications
Higher Order Masking of Look-Up Tables
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type-Directed Weaving of Aspects for Higher-Order Functional Languages
Compiler-Directed Transformation for Higher-Order Stencils
Strong Non-Split Domination in Directed Graphs
Annals of Pure and Applied Mathematics
The Role of Higher Order Image Statistics in Masking Scene Gist Recognition
Attention, Perception & Psychophysics
Linguistics
Sensory Systems
Language
Experimental
Cognitive Psychology
Towards Strong Higher-Order Automation for Fast Interactive Verification
Relatively Complete Refinement Type System for Verification of Higher-Order Non-Deterministic Programs
Proceedings of the ACM on Programming Languages
Partial Polymorphic Type Inference and Higher-Order Unification
Higher-Order Type-Level Programming in Haskell
Proceedings of the ACM on Programming Languages
