Publication

Towards Quantifying and Preventing the Leakage of Genomic Data Using Privacy-Enhancing Technologies

Related publications (37)

Graph Chatbot

Chat with Graph Search

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.

Quantifying Location Privacy

Jean-Yves Le Boudec, Jean-Pierre Hubaux, Reza Shokri, Georgios Theodorakopoulos

It is a well-known fact that the progress of personal communication devices leads to serious concerns about privacy in general, and location privacy in particular. As a response to these issues, a number of Location-Privacy Protection Mechanisms (LPPMs) ha ...

Ieee Computer Soc Press, Customer Service Center, Po Box 3014, 10662 Los Vaqueros Circle, Los Alamitos, Ca 90720-1264 Usa2011

Stochastic Optimization of Sailing Trajectories in an America's Cup Race

Frédéric Dumas

The main objective of the thesis is the study and the determination of an optimal navigation strategy, for a sailboat in an America's Cup race, by methods of stochastic optimization. Such methods are appropriate because the sailing team expects the wind to ...

EPFL2010

Counterexample-Guided Focus

The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the corresponding program analyses here boils down to the question of the right ...

2010

On Large Deviation Regimes For Random Media Models

Thomas Mountford, Damien Gauthier, Michael Cranston

The focus of this article is on the different behavior of large deviations of random subadditive functionals above the mean versus large deviations below the mean in two random media models. We consider the point-to-point first passage percolation time a(n ...

2009

Visualizing biochemical activities in living cells

Kai Johnsson

Autofluorescent proteins have become indispensable in our quest to visualize molecular events in living cells. Further progress in the visualization and quantification of all biochemical activities of the cell will require the introduction of additional an ...

2009

Omnidirectional Pulse Dispersion of Planar Circular Monopoles

Anja Skrivervik, Gabriela Quintero Diaz De Leon

Three antenna systems, composed of circular monopoles with different ground plane sizes, are studied. The transmission of an UWB pulse between two identical monopoles is analyzed. The omnidirectional properties of the UWB antennas are measured and simulate ...

IEEE Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Combining Theories with Shared Set Operations

Viktor Kuncak, Ruzica Piskac

Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the theories share set variables and set operations. We prove a combination theore ...

Springer2009

Non-Clausal Satisfiability Modulo Theories

Philippe Paul Henri Suter

This thesis presents NC(T), an extension of the DPLL(T) scheme [16, 29] for decision procedures for quantifier-free first-order logics. In DPLL(T), a general Boolean DPLL engine is instantiated with a theory solver for the theory T. The DPLL engine is resp ...

2008

Hedonic Methods in Housing Markets. Pricing Environmental Amenities and Segregation

This book provides the most recent advances in and applications of the assessment of environmental amenities or nuisances, land use changes, discrimination and seggregation on the housing market. The emphasis is on problems, practices and innovative soluti ...

Springer2008

Intrusion Detection System Resiliency to Byzantine Attacks: The Case Study of Wormholes in OLSR

Georgios Theodorakopoulos

In this paper we extend the work presented in [1], [2] by quantifying the effects of in-band wormhole attacks on Intrusion Detection Systems. More specifically, we propose a mathematical framework for obtaining performance bounds of Byzantine attackers and ...

2007