Publications related to Circular Security Reconsidered

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.

When Your AI Becomes a Target: AI Security Incidents and Best Practices

Alexandre Massoud Alahi, Kathrin Grosse

In contrast to vast academic efforts to study AI security, few real-world reports of AI security incidents exist. Released incidents prevent a thorough investigation of the attackers' motives, as crucial information about the company and AI application is ...

AAAI Press2024

Symmetric Asynchronous Ratcheted Communication with Associated Data

Serge Vaudenay, Hailun Yan

Following up mass surveillance and privacy issues, modern secure communication protocols now seek strong security, such as forward secrecy and post-compromise security, in the face of state exposures. To address this problem, ratcheting was thereby introdu ...

Springer, Cham2020

Analysis of In-vehicle Security System of Smart Vehicles

Modern automobiles utilize numerous computerized systems to control and observe the state of the vehicle. These systems use in-vehicle networks to communicate with each other and make intelligent decisions. However, because of the increasing trend to offer ...

Springer International Publishing Ag2019

Security of Distance-Bounding: A Survey

Serge Vaudenay, Gildas Avoine, Martin Benjamin, Srdan Capkun, Aslan Tchamkerten

Distance-bounding protocols allow a verifier to both authenticate a prover and evaluate whether the latter is located in his vicinity. These protocols are of particular interest in contactless systems, e.g. electronic payment or access control systems, whi ...

2018

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

Online Authenticated-Encryption and its Nonce-Reuse Misuse-Resistance

Damian Vizár, Reza Reyhanitabar

A definition of online authenticated-encryption (OAE), call it OAE1, was given by Fleischmann, Forler, and Lucks (2012). It has become a popular definitional target because, despite allowing encryption to be online, security is supposed to be maintained ev ...

Springer2015

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

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

Circular Security Reconsidered

Graph Chatbot

Chat with Graph Search

When Your AI Becomes a Target: AI Security Incidents and Best Practices

Revisiting the Indifferentiability of the Sum of Permutations

Symmetric Asynchronous Ratcheted Communication with Associated Data

Analysis of In-vehicle Security System of Smart Vehicles

Security of Distance-Bounding: A Survey

Can Caesar Beat Galois?

High System-Code Security with Low Overhead

Online Authenticated-Encryption and its Nonce-Reuse Misuse-Resistance

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

Secure & Lightweight Distance-Bounding

Symmetric Asynchronous Ratcheted Communication with Associated Data

Revisiting the Indifferentiability of the Sum of Permutations

When Your AI Becomes a Target: AI Security Incidents and Best Practices

Online Authenticated-Encryption and its Nonce-Reuse Misuse-Resistance

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

Security of Distance-Bounding: A Survey

Can Caesar Beat Galois?

Analysis of In-vehicle Security System of Smart Vehicles

High System-Code Security with Low Overhead

Secure & Lightweight Distance-Bounding