Publications related to Computer security

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.

Privacy and Security in the Genomic Era

Jean-Pierre Hubaux, Erman Ayday

With the help of rapidly developing technology, DNA sequencing is becoming less expensive. As a consequence, the research in genomics has gained speed in paving the way to personalized (genomic) medicine, and geneticists need large collections of human gen ...

Assoc Computing Machinery2016

Clever Arbiters Versus Malicious Adversaries

Serge Vaudenay

When moving from known-input security to chosen-input security, some generic attacks sometimes become possible and must be discarded by a specific set of rules in the threat model. Similarly, common practices consist of fixing security systems, once an exp ...

Springer Berlin Heidelberg2016

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Serge Vaudenay

Threshold implementations allow to implement circuits us- ing secret sharing in a way to thwart side-channel attacks based on prob- ing or power analysis. It was proven they resist to attacks based on glitches as well. In this report, we show the limitatio ...

Springer Int Publishing Ag2016

Emerging Technology Based Design of Primitives for Hardware Security

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon

Hardware security concerns such as IP piracy and hardware Trojans have triggered research into circuit protection and malicious logic detection from various design perspectives. In this paper, emerging technologies are investigated by leveraging their uniq ...

Assoc Computing Machinery2016

Practical Private Range Search Revisited

Odysseas Papapetrou, Ioannis Demertzis

We consider a data owner that outsources its dataset to an untrusted server. The owner wishes to enable the server to answer range queries on a single attribute, without compromising the privacy of the data and the queries. There are several schemes on "pr ...

2016

Imprecise Security: Quality and Complexity Tradeoffs for Hardware Information Flow Tracking

Paolo Ienne, Andrew James Becker, Ryan Charles Kastner, Wei Hu

Secure hardware design is a challenging task that goes far beyond ensuring functional correctness. Important design properties such as non-interference cannot be verified on functional circuit models due to the lack of essential information (e.g., sensitiv ...

Assoc Computing Machinery2016

Security Constrained Unit Commitment With Dynamic Thermal Line Rating

Mario Paolone, Mostafa Nick, Omid Alizadeh Mousavi

The integration of the dynamic line rating (DLR) of overhead transmission lines (OTLs) in power systems secu- rity constrained unit commitment (SCUC) potentially enhances the overall system security as well as its technical/economic performances. This pape ...

Institute of Electrical and Electronics Engineers2016

Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities

Bryan Alexander Ford, Ennan Zhai

Federated identity providers, e.g., Facebook and PayPal, offer a convenient means for authenticating users to third-party applications. Unfortunately such cross-site authentications carry privacy and tracking risks. For example, federated identity provider ...

Association for Computing Machinery2016

Computer security

Graph Chatbot

Chat with Graph Search

Scarcity Mitigation and Risk-Averse Clearing Model in the Swiss Reserve Market

Privacy and Security in the Genomic Era

Clever Arbiters Versus Malicious Adversaries

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Building Security Protocols Against Powerful Adversaries

Emerging Technology Based Design of Primitives for Hardware Security

Practical Private Range Search Revisited

Imprecise Security: Quality and Complexity Tradeoffs for Hardware Information Flow Tracking

Security Constrained Unit Commitment With Dynamic Thermal Line Rating

Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities

Clever Arbiters Versus Malicious Adversaries

Building Security Protocols Against Powerful Adversaries

Privacy and Security in the Genomic Era

Practical Private Range Search Revisited

Scarcity Mitigation and Risk-Averse Clearing Model in the Swiss Reserve Market

Security Constrained Unit Commitment With Dynamic Thermal Line Rating

Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities

Emerging Technology Based Design of Primitives for Hardware Security

Side-Channel Attacks on Threshold Implementations using a Glitch Algebra

Imprecise Security: Quality and Complexity Tradeoffs for Hardware Information Flow Tracking