Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We present a technique for automatically verifying cryptographic protocols specified in the mainstream specification language CAPSL. Our work is based on model checking multi-agent systems against properties given in AI logics. We present PC2IS, a compiler ...
Composite materials undoubtedly belong to one of the most studied classes of materials nowadays. In order to model the behaviour of mechanical structures made of this type of materials, it is necessary to know their constitutive properties. The varieties o ...
We explore the limit of absorption enhancement in thin film solar cells obtained by guided mode excitation and we discuss the geometrical and angular dependence of absorption. We consider the modal properties of the cell. ...
Security protocols specify the communication required to achieve security objectives, e.g., data-privacy. Such protocols are used in electronic media: e-commerce, e-banking, e-voting, etc. Formal verification is used to discover protocol-design flaws. In t ...
We present a study of the optical mode structure in metal-dielectric multilayer structures that represent amorphous silicon thin film solar cells with metallic back contact. Knowledge of the modal structure represents a first step toward describing absorpt ...
Speaker diarization is originally defined as the task of de- termining “who spoke when” given an audio track and no other prior knowledge of any kind. The following article shows a multi-modal approach where we improve a state- of-the-art speaker diarizati ...
We demonstrate that it is possible to combine several small metallic particles in a very compact geometry without loss of their individual modal properties by adding a gold metallic film underneath. This film essentially acts as a "ground plane" which chan ...
This thesis is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundamen ...
We calculate the maximal absorption enhancement obtainable by guided mode excitation in a weakly absorbing dielectric slab over wide wavelength ranges. The slab mimics thin film silicon solar cells in the low absorption regime. We consider simultaneously w ...
This article is about a breadth-first exploration of logical concepts in cryptography and their linguistic abstraction and model-theoretic combination in a comprehensive logical system, called CPL (for Cryptographic Protocol Logic). We focus on two fundame ...