Publications related to National 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.

AnonRep: Towards Tracking-Resistant Anonymous Reputation

Bryan Alexander Ford, Ennan Zhai

Reputation systems help users evaluate information quality and incentivize civilized behavior, often by tallying feedback from other users such as "likes" or votes and linking these scores to a user’s long-term identity. This identity linkage enables user ...

USENIX2016

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

Making Masking Security Proofs Concrete - Or How to Evaluate the Security of any Leaking Device

Alexandre Raphaël Duc, Sebastian Faust

We investigate the relationships between theoretical studies of leaking cryptographic devices and concrete security evaluations with standard side-channel attacks. Our contributions are in four parts. First, we connect the formal analysis of the masking co ...

Springer2015

Optimal Proximity Proofs Revisited

Serge Vaudenay, Handan Kilinç Alper

Distance bounding protocols become important since wireless technologies become more and more common. Therefore, the security of the distance bounding protocol should be carefully analyzed. However, most of the protocols are not secure or their security is ...

Springer Verlag2015

Deterministically Deterring Timing Attacks in Deterland

Bryan Alexander Ford

The massive parallelism and resource sharing embodying today’s cloud business model not only exacerbate the security challenge of timing channels, but also undermine the viability of defenses based on resource partitioning. We propose hypervisor-enforced t ...

Association for Computing Machinery2015

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

Energy Strategy Formation in the Middle East and North Africa Using a Technology-Driven Energy Planning Approach

Ralf Matthias Dyllick-Brenzinger

The constituent countries of the MENA region---defined in this thesis in conformity with the regional definition of the International Energy Agency and encompassing 17 Muslim countries in North Africa, in the Levant, on the Arabian Peninsula, and Iran---ha ...

EPFL2014

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

National security

Graph Chatbot

Chat with Graph Search

AnonRep: Towards Tracking-Resistant Anonymous Reputation

High System-Code Security with Low Overhead

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

Drones InSecurity

Making Masking Security Proofs Concrete - Or How to Evaluate the Security of any Leaking Device

Optimal Proximity Proofs Revisited

Deterministically Deterring Timing Attacks in Deterland

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode

Energy Strategy Formation in the Middle East and North Africa Using a Technology-Driven Energy Planning Approach

Privacy and Security Framework. OpenIoT Deliverable D522

AnonRep: Towards Tracking-Resistant Anonymous Reputation

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

Optimal Proximity Proofs Revisited

High System-Code Security with Low Overhead

Energy Strategy Formation in the Middle East and North Africa Using a Technology-Driven Energy Planning Approach

Making Masking Security Proofs Concrete - Or How to Evaluate the Security of any Leaking Device

Drones InSecurity

Deterministically Deterring Timing Attacks in Deterland

Privacy and Security Framework. OpenIoT Deliverable D522

Misuse-Resistant Variants of the OMD Authenticated Encryption Mode