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

Circular Security Reconsidered

Serge Vaudenay, Fatma Betül Durak

The notion of circular security of pseudorandom functions (PRF) was introduced in Distance Bounding Protocols. So far, only a construction based on a random oracle model was proposed. Circular security stands between two new notions which we call Key Depen ...

Springer International Publishing2016

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

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

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

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

International security

Graph Chatbot

Chat with Graph Search

Circular Security Reconsidered

Building Security Protocols Against Powerful Adversaries

Privacy and Security in the Genomic Era

AnonRep: Towards Tracking-Resistant Anonymous Reputation

High System-Code Security with Low Overhead

Deterministically Deterring Timing Attacks in Deterland

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

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

Optimal Proximity Proofs Revisited

Drones InSecurity

Deterministically Deterring Timing Attacks in Deterland

Building Security Protocols Against Powerful Adversaries

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

Privacy and Security in the Genomic Era

Circular Security Reconsidered

AnonRep: Towards Tracking-Resistant Anonymous Reputation

Optimal Proximity Proofs Revisited

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

High System-Code Security with Low Overhead

Drones InSecurity