On the Security of a Popular Web Submission and Review Software (WSaR) for Cryptology Conferences
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...
Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...
Chirok is software for a post-refinement test of the absolute structure. The software allows a user to calculate a distribution of the measure of chirality based on intensity quotients and linked to the Flack parameter. The distribution is fitted by a set ...
Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...
In this paper we introduce SD-WISE, a Software-Defined Wireless SEnsor networking solution for Wireless Sensor (and actuator) Networks (WSNs). SD-WISE has several unique features making it a flexible and expandable solution that can be applied in heterogen ...
ELSEVIER SCIENCE BV2019
This thesis introduces a novel framework for the fundamental design of energy systems for neighbourhoods. The framework is based on the sequential integration of three software tools: QGIS, City Energy Analyst (CEA) and Urbio. QGIS is used to build the bui ...
2020
The main goals of this thesis pertain to the development of a device capable of detecting microorganism viability through monitoring the oscillations of
a microscopic cantilever transducer, to improve the presently used device and to attempt to explain in ...
EPFL2019
, ,
The geometries of axons, dendrites and their synaptic connections provide important information about their functional properties. These can be collected directly from measurements made on serial electron microscopy images. However, manual and automated se ...
2018
,
Gamification aims to enhance the educational experience by enabling students to have fun with technology. Although research in the field has previously looked into the effectiveness of gamification, reviews of existing studies show that in the context of e ...
We present a self-consistent and versatile forward modelling software package that can produce time series and pixel-level simulations of time-varying strongly lensed systems. The time dimension, which needs to take into account different physical mechanis ...
