21st Estonian Winter School in Computer Science (EWSCS)
XXI Eesti Arvutiteaduse Talvekool

Palmse, Estonia, February 28 - March 4, 2016

Student Talks 2016 (abstracts)

Post-quantum Security of the CBC, CFB, OFB, CTR, and XTS Modes of Operation

Mayuresh Anand
University of Tartu, Inst. of Computer Science, Estonia

We examine the IND-qCPA security of the wide-spread block cipher modes
of operation CBC, CFB, OFB, CTR, and XTS (i.e., security against quantum adversaries doing queries in superposition). We show that OFB and CTR are secure assuming that the underlying block cipher is a standard secure PRF (a pseudorandom function secure under classical queries). We give counterexamples that show that CBC, CFB, and XTS are not secure under the same assumption. And we give proofs that CBC and CFB mode are secure if we assume a quantum secure PRF (secure under queries in superposition).

Probabilistic Output Analysis

Maja H. Kirkeby
Roskilde University, Denmark

Probabilistic output analysis is a static analysis related to output analysis; where an output analysis reason about the program's output base on the program and a description of the input, the probabilistic output analysis reason about the probabilities of the output given the program and a probability distribution of the input.
I and Mads Rosendahl have published (and accepted for publication) the articles "Probabilistic output analysis by program manipulation" and "Probabilistic Resource Analysis by program manipulation" which both describe some of the theory, implementations of the analysis and the results.
Since static analysis cannot give precise answers, we introduce imprecision using over-approximation or under-approximation. This relates badly with the theory of precise probabilities, and, instead, we use a model of imprecise probabilities. The implementation results will be described and related to the optimal derivable output probabilities described by the Dempster-Schafer theory.
This talk will introduce and motivate the probabilistic output analysis and relate the current results to the imprecise probability model Dempster-Schafer structures.

Building a Type-safe Language for OS Kernel Probes

Ilya Yanok
Universita della Svizzera italiana, Switzerland

Probes are little pieces of executable code injected into the kernel to gather the performance data. To be useful probes must not interfere with the usual system execution and certainly must not crash the system. Since probes are executed in the kernel context one can't rely on usual safety features provided by the OS itself to achieve this. Instead, probe code needs to be proven statically safe. We propose to address this problem by introducing a small dependently typed DSL for writing probes, where the type system is used to provide the required safety guarantees.
This is a joint work with Prof. Nathaniel Nystrom, it was published in PLOS'15 workshop proceedings.

Valid CSS! Valid XHTML 1.0 Strict Last changed November 26, 2014 19:55 Europe/Helsinki (GMT +02:00) by local organizers, ewscs16(at)cs.ioc.ee
EWSCS'16 page: http://cs.ioc.ee/ewscs/2016/