Concept

Accès à l'information

Publications associées (150)

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.

Connectez-vous pour utiliser Chat avec Graph Search

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

George Candea, Horatiu Jula, Silviu Andrica

Formally proving complex program properties is still considered impractical for systems with over a million lines of code (MLOC). We present iProve, an approach that enables the generation and verification of proofs for interesting program properties in la ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2010

Image annotation on portable devices

Martin Vetterli, Luciano Sbaiz

A system for automated annotation of images and videos points a mobile device towards an object of interest, such as a building or landscape scenery, for the device to display an image of the scene with an annotation for the object. An annotation can inclu ...

2010

ICTs and Participation in Developing Countries

Jean-Claude Bolay, Alexandre Repetti

Developing cities are experiencing substantial gaps in urban planning. They are due to approaches and instruments that do not correspond to the realities of the developing city including the prevalence of informal sector and slums, urban governance problem ...

IGI Global2010

Security Games in Online Advertising: Can Ads Help Secure the Web?

Jean-Pierre Hubaux, Maxime Raya, Nevena Vratonjic

Some ISPs are trying to become part of the online advertising market. Such ISPs either: (i) cooperate with online advertising entities (e.g., ad networks) by providing users’ private information to achieve better ad targeting in exchange for a share of the ...

2010

On Tamper-Resistance from a Theoretical Viewpoint: The Power of Seals

Serge Vaudenay

Tamper-proof devices are pretty powerful. They can be used to have better security in applications. In this work we observe that they can also be maliciously used in order to defeat some common privacy protection mechanisms. We propose the theoretical mode ...

Springer2009

On Privacy Losses in the Trusted Agent Model (Abstract)

Serge Vaudenay

Tamper-proof devices are pretty powerful. They typically make security applications simpler (provided that the tamper-proof assumption is not violated). For application requiring privacy, we observe that some properties may become harder (if possible at al ...

2009

On the Importance of Spatial Configuration of Information

Pierre Dillenbourg, Frédéric Kaplan, Hamed Seiied Alavi

The spatial layout of information influences collaborative interactions. We compared two awareness tools which give information on the status of participants in a collaborative work, one displaying it on a single screen and the other distributing it in the ...

2009

Modelling for product information tracking and feedback via wireless technology in closed-loop supply chains

Closed-loop supply chains (CLSC) consider all of the activities in the lifecycle of a product from design to end-of-life operation. These chains encompass, in addition to the traditional forward flow of products to customers, the acquisition and return flo ...

Taylor & Francis2009

Information Percolation with Equilibrium Search Dynamics

Semyon Malamud, Darrell Duffie

We solve for the equilibrium dynamics of Information sharing in a large population Each agent is endowed with signals regarding the likely outcome of a random variable of common concern Individuals choose the effort with which they search for others from w ...

2009

Compromising Electromagnetic Emanations of Wired and Wireless Keyboards

Martin Vuagnoux, Sylvain Pasini

Computer keyboards are often used to transmit confidential data such as passwords. Since they contain electronic components, keyboards eventually emit electromagnetic waves. These emanations could reveal sensitive information such as keystrokes. The techni ...

USENIX Association2009