We provide new security proofs for PMAC, TMAC, and XCBC message authentication modes. The previous security bounds for these modes were σ2 /2n , where n is the block size in bits ...
We present a smart kitchen that can enhance the traditional meal preparation and cooking process by raising awareness of the nutrition facts in food ingredients that go into a mea...
The usability of Free/Libre/Open Source Software (FLOSS) is a new challenge for HCI professionals. Although HCI professionals are working on usability issues in FLOSS, the CHI com...
As design complexities increase exponentially, automotive designers need integrated tool environments enabling system-level analyses of alternative architectural solutions. Hence,...
Paolo Giusto, Sri Kanajan, Claudio Pinello, Max Ch...
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...