65 citations · 117 across the 12 of their papers we have counts for
12 papers
xMIx: High-Performance Serving-Time Platform for Mechanistic Interpretability Apps
Michael Blum, Mark Silberstein, Yaniv David
Mechanistic interpretability (MI) has emerged as a powerful approach for analyzing and intervening in inference computations, with a growing number of applications such as jailbrea…
AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures
Bo Fu, Leo Tenenbaum, David Adler +7
In recent years, several hardware-based countermeasures proposed to mitigate Spectre attacks have been shown to be insecure. To enable the development of effective secure speculati…
Nucleotide String Indexing using Range Matching
Alon Rashelbach, Ori Rottensterich, Mark Silberstien
The two most common data-structures for genome indexing, FM-indices and hash-tables, exhibit a fundamental trade-off between memory footprint and performance. We present Ranger, a…
Algorithm-assisted discovery of an intrinsic order among mathematical constants
Rotem Elimelech, Ofir David, Carlos De la Cruz Mengual +6
In recent decades, a growing number of discoveries in fields of mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces that humans wo…
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf +1
Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs. Recently, several testing tools have emerged to automatically detect spec…
Securing Access to Untrusted Services From TEEs with GateKeeper
Meni Orenbach, Bar Raveh, Alon Berkenstadt +3
Applications running in Trusted Execution Environments (TEEs) commonly use untrusted external services such as host File System. Adversaries may maliciously alter the normal servic…
A readahead prefetcher for GPU file system layer
Vasilis Dimitsas, Mark Silberstein
GPUs are broadly used in I/O-intensive big data applications. Prior works demonstrate the benefits of using GPU-side file system layer, GPUfs, to improve the GPU performance and pr…
Revizor: Testing Black-box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf +1
Speculative vulnerabilities such as Spectre and Meltdown expose speculative execution state that can be exploited to leak information across security domains via side-channels. Suc…
A Computational Approach to Packet Classification
Alon Rashelbach, Ori Rottenstreich, Mark Silberstein
Multi-field packet classification is a crucial component in modern software-defined data center networks. To achieve high throughput and low latency, state-of-the-art algorithms st…
SpecFuzz: Bringing Spectre-type vulnerabilities to the surface
Oleksii Oleksenko, Bohdan Trach, Mark Silberstein +1
SpecFuzz is the first tool that enables dynamic testing for speculative execution vulnerabilities (e.g., Spectre). The key is a novel concept of speculation exposure: The program i…
You Shall Not Bypass: Employing data dependencies to prevent Bounds Check Bypass
Oleksii Oleksenko, Bohdan Trach, Tobias Reiher +2
A recent discovery of a new class of microarchitectural attacks called Spectre picked up the attention of the security community as these attacks can circumvent many traditional me…
Faster Neural Network Training with Approximate Tensor Operations
Menachem Adelman, Kfir Y. Levy, Ido Hakimi +1
We propose a novel technique for faster deep neural network training which systematically applies sample-based approximation to the constituent tensor operations, i.e., matrix mult…