Expediente, n. 10, 2000

Cryptography 2000±10

Cryptography is both a fascinating mathematical science and a key technology for the emerging information society, with theory and applications being closely related. This article reviews some highlights of the past ten years of research in cryptography and its applications and discusses some of the main challenges for future research. A major future research theme is to weaken the assumptions ...

EPCC - SS 2000 - 10 Java MPI Simulator

The goal of the Message Passing Interface (MPI) is to develop a widely used standard for writing message-passing programs. The interface has become an important and increasingly popular and portable message passing system that makes the development of practical and cost-effective large-scale parallel applications possible. EPCC has been developing an MPI Simulator to be used by the Training and...

University Wednesday , 10 May 2000 Trace Cache

Due to unfortunate circumstances this lecture was not scribed, following are several points that I remember were brought up. If anyone has something to add please tell me. In this session we discussed three papers: Alternative Fetch and Issue Policies for the Trace Cache Fetch Mechanism-describes several enhancements to the original University of Michigan view of the trace cache. Path-Based Nex...

Washington University Record, August 10, 2000

Francis Klay N ̊ 3921 Avril 2000

On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...