Publications related to Security observance throughout the life-cycle of embedded systems

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 Framework. OpenIoT Deliverable D522

Jean Paul Calbimonte Perez, Mehdi Riahi

This deliverable describes the Security and Privacy Framework of the OpenIoT platform, including details about its design and implementation. The aim of this framework is to ensure that Internet-Connected Objects (ICOs) contributing to the OpenIoT platform ...

2014

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

Serge Vaudenay, Damian Vizár, Reza Reyhanitabar

We present two variants of OMD which are robust against nonce misuse. Security of OMD---a CAESAR candidate---relies on the assumption that implementations always ensure correct use of nonce (a.k.a. message number); namely that, the nonce never gets repeate ...

Springer-Verlag Berlin2014

Security Vulnerabilities of the Cisco IOS Implementation of the MPLS Transport Profile

Jean-Yves Le Boudec, Sergio Barreto Andrade, Teklemariam Tsegay Tesfay, Udaya Upul Kumara Jayasinghe, Miroslav Popovic

We are interested in the security of the MPLS Transport Profile (MPLS-TP), in the context of smart-grid communication networks. The security guidelines of the MPLS-TP standards are written in a complex and indirect way, which led us to pose as hypothesis t ...

2014

Game Theory Meets Network Security and Privacy

Jean-Pierre Hubaux

This survey provides a structured and comprehensive overview of research on security and privacy in computer and communication networks that use game-theoretic approaches. We present a selected set of works to highlight the application of game theory in ad ...

Assoc Computing Machinery2013

Secure & Lightweight Distance-Bounding

Serge Vaudenay, Aikaterini Mitrokotsa

Distance-bounding is a practical solution to be used in security-sensitive contexts, mainly to prevent relay attacks. The main challenge when designing such protocols is maintaining their inexpensive cryptographic nature, whilst being able to protect again ...

2013

On the Performance of Secure Vehicular Communication Systems

Jean-Pierre Hubaux, Panagiotis Papadimitratos

Vehicular communication (VC) systems are being developed primarily to enhance transportation safety and efficiency. Vehicle-to-vehicle communication, in particular, frequent cooperative awareness messages or safety beacons, has been considered over the pas ...

2011

Short Undeniable Signatures Based on Group Homomorphisms

Serge Vaudenay, Jean Monnerat

This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully scalable size depending on the security level. To this end, we develop a gene ...

Springer Verlag2011

Interpreting Hash Function Security Proofs

Juraj Sarinay

We provide a concrete security treatment of several "provably secure" hash functions. Interpreting arguments behind MQ-HASH, FSB, SWIFFTX and VSH we identify similar lines of reasoning. We aim to formulate the main security claims in a language closer to t ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010

Security observance throughout the life-cycle of embedded systems

Graph Chatbot

Chat with Graph Search

Privacy and Security Framework. OpenIoT Deliverable D522

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

Security Vulnerabilities of the Cisco IOS Implementation of the MPLS Transport Profile

Game Theory Meets Network Security and Privacy

Secure & Lightweight Distance-Bounding

On Modeling Terrorist Frauds

Game Theory Meets Network Security and Privacy

On the Performance of Secure Vehicular Communication Systems

Short Undeniable Signatures Based on Group Homomorphisms

Interpreting Hash Function Security Proofs

Privacy and Security Framework. OpenIoT Deliverable D522

Security Vulnerabilities of the Cisco IOS Implementation of the MPLS Transport Profile

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

Game Theory Meets Network Security and Privacy

Secure & Lightweight Distance-Bounding

Game Theory Meets Network Security and Privacy

Short Undeniable Signatures Based on Group Homomorphisms

On the Performance of Secure Vehicular Communication Systems

On Modeling Terrorist Frauds

Interpreting Hash Function Security Proofs