Secure multiparty computation (MPC) allows a set of parties to securely evaluate any agreed function of their inputs, even when up to t of the n parties are faulty. Protocols for synchronous networks (where every sent message is assumed to arrive within a constant time) tolerate up to t < n/2 faulty parties, whereas in the more realistic asynchronous setting (with no a priory information on max...

We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee) and hierarchical (stepwise-refinement) design and verification. While synchronous models are based on a notion of atomic computation step, and asynchronous models remove that notion by introducing stuttering, our mod...

As transient error rates are growing due to smaller feature sizes, designing reliable synchronous circuits becomes increasingly challenging. Asynchronous logic design constitutes a promising alternative with respect to robustness and stability. In particular, delay-insensitive asynchronous circuits provide interesting properties, like an inherent resilience to delay-faults. This paper presents ...

Most of the times, asynchronous e-learning tools are used to conduct distance education activities in higher education. Instructor and students interact from anywhere anytime. On the contrary, synchronous e-learning tools require the participants in the learning process to communicate live. Real-time interactions in synchronous e-learning resemble those that occur in traditional face-to-face co...

abstRact This chapter identifies six e-learning classifications to understand the different forms of e-learning and demonstrates the differences and similarities of the classifications with classroom examples, including a pilot empirical study from the authors' experience. It argues that understanding the different e-learning classifications is a prerequisite to understanding the effectiveness ...

Protocols for Byzantine agreement (BA) and secure multi-party computation (MPC) can be classified according to the underlying communication model. The two most commonly considered models are synchronous one asynchronous one. Synchronous protocols typically lose their security guarantees as soon network violates synchrony assumptions. Asynchronous remain regardless of conditions, but achieve wea...

The complexity of digital design and time-to-market have arose many challenges in synchronous design methodology; the need for high frequency and low skew clock distribution with its profound effect on final circuits take a lot of time and implementation cost. Asynchronous design methodology by eliminating global clock and replacing synchronization with handshaking is not yet much promising for...