Amanote Research
Register
Sign In
Strong Non-Interference and Type-Directed Higher-Order Masking
doi 10.1145/2976749.2978427
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2016
Authors
Gilles Barthe
Sonia Belaïd
François Dupressoir
Pierre-Alain Fouque
Benjamin Grégoire
Pierre-Yves Strub
Rébecca Zucchini
Publisher
ACM Press
Related search
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
