… We are concerned with demonstrating productivity of specifications of infinite streams of
data… data-oblivious. We present a method that is provably optimal among all such data-oblivious …

… We introduce the notion of data-oblivious productivity. ► We identify two syntactical
classes of stream spec’s: flat and (general) pure spec’s. ► For flat stream spec’s we obtain …

… We introduce pebbleflow nets as a means to model the ‘data-oblivious’ consumption/production
behaviour of SCSs. That is, we abstract from the actual stream elements (data) in an …

… Despite recent efforts, however, running data oblivious … this problem by proposing a Data
Oblivious ISA extension (OISA… of safely executing existing data oblivious programs. On the …

… for which productivity is decidable. In the present work, we study this data-oblivious analysis
… and a general framework in which we can deal with infinitary objects other than streams. …

… many COTS binaries are already deployed in production and run on outdated vulnerable …
side-channel resistant data-oblivious binaries. We do this by defining a data-oblivious program …

… III – We introduce a definition for data-oblivious execution at the microarchitectural level and
… These data-oblivious instructions constitute HW primitives for countermeasures such as …

… over a data stream? To answer this question, we present the first data oblivious sketch for …
), eg, each at one of many different production stages in a factory. Also the usual form of storing …

… In this study, we present novel data-oblivious algorithms designed for depth-first search
and … proposed dataoblivious algorithms demonstrate efficiency comparable to non-data-oblivious …

… a data-oblivious method for proving productivity. This method is provably optimal among all
data-oblivious … Here ‘data-oblivious’ refers to a quantitative analysis of productivity where the …