Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Protocole sans état

Publications associées (28)

Creating Secrets Out Of Packet Erasures

Christina Fragouli, Aikaterini Argyraki, László Czap, Iris Safaka

We present protocols for creating pairwise secrets between nodes in a wireless network, so that these secrets are secure from an eavesdropper, Eve, with unbounded computational and memory capabilities, but with limited network presence. We first present a ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Synthesis of Functionalized Epoxides by Copper-Catalyzed Alkylative Epoxidation of Allylic Alcohols with Alkyl Nitriles

Jieping Zhu, Qian Wang, Ala Bunescu

A copper-catalyzed oxyalkylation of allylic alcohols using nonactivated alkyl nitriles as reaction partners was developed. A sequence involving generation of an alkyl nitrile radical followed by its addition to a double bond and a copper-mediated formation ...

Amer Chemical Soc2015

Copper-Catalyzed Cyanomethylation of Allylic Alcohols with Concomitant 1,2-Aryl Migration: Efficient Synthesis of Functionalized Ketones Containing an α-Quaternary Center

Jieping Zhu, Qian Wang, Ala Bunescu

A copper-catalyzed alkylation of allylic alcohols by alkyl nitriles with concomitant 1,2-aryl migration was developed. Formation of the alkyl nitrile radical was followed by its intermolecular addition to alkenes and the migration of a vicinal aryl group w ...

Wiley-Blackwell2015

Optimal Proximity Proofs

Serge Vaudenay

Provably secure distance-bounding is a rising subject, yet an unsettled one; indeed, very few distance-bounding protocols, with formal security proofs, have been proposed. In fact, so far only two protocols, namely SKI (by Boureanu et al.) and FO (by Fisch ...

Springer2015

Challenges in Distance Bounding

Serge Vaudenay

Smartcard-based protocols represent an increasingly large share of the wireless authentication market, from contactless payments to remote car unlocking. Unfortunately, relay attacks pose a significant threat to these wireless solutions. However, this risk ...

Ieee Computer Soc2015

Isolates, channels, and event streams for composable distributed programming

Martin Odersky, Aleksandar Prokopec

The actor model has been a model of choice for building reliable distributed systems. On one hand, it ensures that message-processing is serialized within each actor, preserving the familiar sequential programming model. On the other hand, programs written ...

ACM2015

Scale-out non-uniform memory access

Babak Falsafi, Edouard Bugnion, Boris Robert Grot, Alexandros Daglis, Stanko Novakovic

A computing system that uses a Scale-Out NUMA (“soNUMA”) architecture, programming model, and/or communication protocol provides for low-latency, distributed in-memory processing. Using soNUMA, a programming model is layered directly on top of a NUMA memor ...

2015

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