The following pages link to Pierre-Évariste Dagand (Q2055656):
Displayed 12 items.
- Tornado: automatic generation of probing-secure masked bitsliced implementations (Q2055659) (← links)
- Custom instruction support for modular defense against side-channel and fault attacks (Q2106699) (← links)
- From Sets to Bits in Coq (Q2798253) (← links)
- Transporting functions across ornaments (Q2875233) (← links)
- Fully abstract compilation to JavaScript (Q2931813) (← links)
- Partial type equivalences for verified dependent interoperability (Q2985778) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- Transporting functions across ornaments (Q5168886) (← links)
- The gentle art of levitation (Q5176923) (← links)
- A Categorical Treatment of Ornaments (Q5271091) (← links)
- The essence of ornaments (Q5372005) (← links)
- (Q6099625) (← links)