We experimentally evaluate program transformations for removing timing side-channel vulnerabilities wrt. security and overhead. Our study of four well-known transformations confirms that their performance overhead differs substantially. A novelty of our work is the empirical investigation of channel bandwidths, which clarifies that the transformations also differ wrt. how much security they add...

In this paper we compare Wadler’s CP calculus for classical linear processes to a linear version of Parigot’s λμ calculus for classical logic. We conclude that linear λμ is “more or less” CP, in that it equationally corresponds to a polarized version of CP. The comparison is made by extending a technique from Melliès and Tabareau’s tensor logic that correlates negation with polarization. The po...

When we consider the practically universal use in all educational institutions of a system of marks, whether numbers or letters, to indicate scholastic attainment of the pupils or students in these institutions, and when we remember how very great stress is laid by teachers and pupils alike upon these marks as real measures or indicators of attainment, we can but be astonished att he blind fait...

In a paper called Definiteness and Knowability, Timothy Williamson investigates the question of whether one must accept that vagueness is an epistemic phenomenon if one adopts classical logic and a disquotational principle for truth. Some have thought that one must not, and have argued that classical logic and the disquotational principle can be preserved without accepting that vagueness is an ...

biofilm Dispersing Agent rejuvenates older Antibiotics An estimated 75% of bacterial infections involve biofilms, surface-attached colonies of bacteria that are protected by an extracellular matrix. Bacteria protected within biofilms are up to 1,000 times more resistant to antibiotics than if they were freefloating (planktonic), which severely complicates treatment options. Rather than searchin...