Defensive Leakage Camouflage

Brier, Éric; Quentin, Fortier; Korkikian, Roman; Magld, Khalid W.; Naccache, David; Almeida, Guilherme Ozari de; Pommellet, Adrien; Ragab, Abdulhamid; Vuillemin, Jean

doi:10.1007/978-3-642-37288-9_19

Cited by 2 publications

(2 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The development of REACTIVEML was started by Louis Mandel during his PhD thesis [42], [38] and is ongoing. The language extends OCAML 6 with Esterel-like synchronous primitives -synchronous composition, broadcast communication, pre-emption/suspension -applying the solution of Boussinot [18] to solve causality issues.…”

Section: Synchronous Functional Programmingmentioning

confidence: 99%

“…• [9] shows that the ordered dimension of a Boolean function is a lower bound on the size of most known ordered Decision Diagrams, and that ordered decision diagrams can be efficiently constructed an operated upon. • [6] shows an approach to circuit protection against side-channel attacks based on a statistical analysis of power traces derived from actual measures of the circuit in operation. Compilers sometimes generate correct sequential code but break the concurrency memory model of the programming language: these subtle compiler bugs are observable only when the miscompiled functions interact with concurrent contexts, making them particularly hard to detect.…”

Section: N-synchronous Languagesmentioning

confidence: 99%

See 1 more Smart Citation

Embedded and Real-time Systems

Selvi¹

2019

Real-Time Embedded Multithreading Using ThreadX

View full text Add to dashboard Cite

2. Overall Objectives 2.1. Overall Objectives The goal of the project is the design, semantics and compilation of languages for the implementation of provably safe and efficient computing systems. We are driven by the ideal of a unique source code used both to program and simulate a wide variety of systems, including (1) embedded real-time controllers (e.g., fly-bywire, engine control); (2) computationally intensive applications (e.g., video); (3) the simulation of (a possibly huge number of) embedded systems in close interaction (e.g., simulation of electrical or sensor networks,

show abstract

Section: Synchronous Functional Programmingmentioning

confidence: 99%

Section: N-synchronous Languagesmentioning

confidence: 99%