Publications related to Spectre (security vulnerability)

A Primer on Hardware Prefetching

Since the 1970’s, microprocessor-based digital platforms have been riding Moore’s law, allowing for doubling of density for the same area roughly every two years. However, whereas microprocessor fabrication has focused on increasing instruction execution r ...

Morgan & Claypool2014

Spatial Locality Speculation to Reduce Energy in Chip-Multiprocessor Networks-on-Chip

Boris Robert Grot

As processor chips become increasingly parallel, an efficient communication substrate is critical for meeting performance and energy targets. In this work, we target the root cause of network energy consumption through techniques that reduce link and route ...

Institute of Electrical and Electronics Engineers2014

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

Automated Side-Channel Vulnerability Discovery and Hardening

Ali Galip Bayrak

In traditional cryptography, an attacker tries to infer a mathematical relationship between the inputs and outputs of a cryptosystem to recover secret information. With the advances in the theoretical basis of the cryptographic algorithms, this task became ...

EPFL2014

Revisiting Iterated Attacks in the Context of Decorrelation Theory

Serge Vaudenay, Atefeh Mashatan, Asli Bay

Iterated attacks are comprised of iterating adversaries who can make d plaintext queries, in each iteration to compute a bit, and are trying to distinguish between a random cipher C and the perfect cipher C* based on all bits. Vaudenay showed that a 2d-dec ...

2014

Le peuple en sa maison. Place Chauderon, 5, Lausanne

Anina Muraro

La vieillesse, problèmes de ségrégations et d'accessibilité. La ville, enjeux de ségrégations et d'accessibilité, mais aussi infinité des possibles. Au sein de la ville de Lausanne, comment appréhender de nouvelles façons d'habiter la ville et de cohabiter ...

2013

Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors

Anastasia Ailamaki, Babak Falsafi, Michael Ferdman, Mohammad Alisafaee, Yusuf Onur Koçberber, Stavros Volos, Ilknur Cansu Kaynak, Adrian Daniel Popescu, Al Mutaz Adileh, Dorde Jevdic

Emerging scale-out workloads require extensive amounts of computational resources. However, data centers using modern server hardware face physical constraints in space and power, limiting further expansion and calling for improvements in the computational ...

Association for Computing Machinery2012

A Speculation-Friendly Binary Search Tree

Vincent Gramoli

We introduce the first binary search tree algorithm designed for speculative executions. Prior to this work, tree structures were mainly designed for their pessimistic (non-speculative) accesses to have a bounded complexity. Researchers tried to evaluate t ...

Assoc Computing Machinery2012

Resistance Against Iterated Attacks by Decorrelation Revisited

Serge Vaudenay, Atefeh Mashatan, Asli Bay

Iterated attacks are comprised of iterating adversaries who can make

d

plaintext queries, in each iteration to compute a bit, and are trying to distinguish between a random cipher

C

and the ideal random cipher

C^*

based on all bits. In EUROCRYPT '99, ...

Springer2012

Resistance against Adaptive Plaintext-Ciphertext Iterated Distinguishers

Serge Vaudenay, Atefeh Mashatan, Asli Bay

Decorrelation Theory deals with general adversaries who are mounting iterated attacks, i.e., attacks in which an adversary is allowed to make d queries in each iteration with the aim of distinguishing a random cipher C from the ideal random cipher C^*. A b ...

2012

Spectre (security vulnerability)

Graph Chatbot

Chat with Graph Search

A Primer on Hardware Prefetching

Spatial Locality Speculation to Reduce Energy in Chip-Multiprocessor Networks-on-Chip

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

Automated Side-Channel Vulnerability Discovery and Hardening

Revisiting Iterated Attacks in the Context of Decorrelation Theory

Le peuple en sa maison. Place Chauderon, 5, Lausanne

Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors

A Speculation-Friendly Binary Search Tree

Resistance Against Iterated Attacks by Decorrelation Revisited

Resistance against Adaptive Plaintext-Ciphertext Iterated Distinguishers

A Primer on Hardware Prefetching

Resistance against Adaptive Plaintext-Ciphertext Iterated Distinguishers

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

Spatial Locality Speculation to Reduce Energy in Chip-Multiprocessor Networks-on-Chip

Automated Side-Channel Vulnerability Discovery and Hardening

Quantifying the Mismatch between Emerging Scale-Out Applications and Modern Processors

Revisiting Iterated Attacks in the Context of Decorrelation Theory

Le peuple en sa maison. Place Chauderon, 5, Lausanne

A Speculation-Friendly Binary Search Tree

Resistance Against Iterated Attacks by Decorrelation Revisited