Sécurité logicielle des smartphones

Applied sciences
Génie informatique
Sécurité des systèmes d'inf...
Sécurité de l'information

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (28)

Page 2 sur 2

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

Paolo Ienne, Andrew James Becker

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

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

Sidi-Rachid Cherkaoui, Farzaneh Abbaspourtorbati

This paper presents a real-world application of stochastic programming in the Swiss hydro-based system. The seasonal hydrological conditions may cause insufficient market volume to an extent that security criteria (i.e., the criteria determining of reserve ...

Ieee2016

Building Security Protocols Against Powerful Adversaries

Iris Safaka

As our sensitive data is increasingly carried over the Internet and stored remotely, security in communications becomes a fundamental requirement. Yet, today's security practices are designed around assumptions the validity of which is being challenged. In ...

EPFL2016

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

High System-Code Security with Low Overhead

George Candea, Johannes Kinder, Volodymyr Kuznetsov, Jonas Benedict Wagner

Security vulnerabilities plague modern systems because writing secure systems code is hard. Promising approaches can retrofit security automatically via runtime checks that implement the desired security policy; these checks guard critical operations, like ...

2015

Probabilistic multimodal map-matching with rich smartphone data

Michel Bierlaire, Jingmin Chen

This article proposes a probabilistic method that infers the transport modes and the physical paths of trips from smartphone data that were recorded during travels. This method synthesizes multiple kinds of data from smartphone sensors, which provide relev ...

Taylor & Francis Inc2015

Practical and Provably Secure Distance-Bounding

Serge Vaudenay, Aikaterini Mitrokotsa

From contactless payments to remote car unlocking, many applications are vulnerable to relay attacks. Distance bounding protocols are the main practical countermeasure against these attacks. In this paper, we present a formal analysis of SKI, which recentl ...

IOS Press2015

Estimation of Blood Pressure and Pulse Transit Time Using Your Smartphone

David Atienza Alonso, Srinivasan Murali, Francisco Javier Rincon Vallejos, Alair Dias Junior

It is widely recognized today that there is an alarming rise of lifestyle-induced chronic diseases (e.g., type II diabetes) in our society. Therefore, a strong need exists for cost-effective and non-invasive devices that can measure blood pressure (BP) to ...

IEEE Computer Society Press2015