The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
Julien Boucaron, Robert de Simone, Jean-Vivien Mil...
Systems engineering is the process which takes requirements specifications and engineers products and product families which involve hardware, software and possibly mechanical sub...
The revelation principle is a cornerstone tool in mechanism design. It states that one can restrict attention, without loss in the designer’s objective, to mechanisms in which A...
Abstract. Exception handling is a well-established mechanism in sequential programming. Concurrency and asynchronous calls introduce the possibility for multiple simultaneous excep...
In this paper we design several double length hash functions and study their security properties in the random oracle model. We design a class of double length hash functions (and ...