We present results of an experimental study on the stability of Taylor–Couette flow in case of counter-rotating cylinders and an imposed axial through flow. We are able to confirm results form recent numerical investigations done by Pinter et al. [24] by measuring the absolute and convective stability boundaries of both propagating Taylor vortices (PTV) and spiral vortices (SPI). Thus our work ...

We introduce new methods for detecting control-flow side channel attacks, transforming C source code to eliminate such attacks, and checking that the transformed code is free of control-flow side channels. We model control-flow side channels with a program counter transcript, in which the value of the program counter at each step is leaked to an adversary. The program counter transcript model c...

Measuring network flow sizes is important for tasks like accounting/billing, network forensics and security. Per-flow accounting is considered hard because it requires that many counters be updated at a very high speed; however, the large fast memories needed for storing the counters are prohibitively expensive. Therefore, current approaches aim to obtain approximate flow counts; that is, to de...