Publications related to Bitfiltrator: A general approach for reverse-engineering Xilinx bitstream formats

Related publications (29)

Highly Parallel RTL Simulation

Verification and testing of hardware heavily relies on cycle-accurate simulation of RTL. As single-processor performance is growing only slowly, conventional, single-threaded RTL simulation is becoming impractical for increasingly complex chip designs and ...

EPFL2024

A review of recent developments on CMOS single-photon avalanche diode-based cameras for biomedical time-resolved applications

Edoardo Charbon, Claudio Bruschini

All-solid-state time-resolved cameras based on CMOS single-photon avalanche diode (SPAD) arrays have made very significant advances since the fabrication of the first CMOS SPADs back in 2003. These natively digital sensors are now available in large format ...

SPIE2024

IIBLAST: Speeding Up Commercial FPGA Routing by Decoupling and Mitigating the Intra-CLB Bottleneck

Mirjana Stojilovic, Stefan Nikolic, Shashwat Shrivastava

We identified that in modern commercial FPGAs, routing signals from the general interconnect to the configurable logic blocks (CLBs) through a very sparse input interconnect block (IIB) represents a significant runtime bottleneck. This is despite academic ...

IEEE2023

User study of omnidirectional treadmill control algorithms in VR

Ronan Boulic, Mathias Guy Delahaye

We conducted a comparative user study of the Infinadeck [1] omnidirectional treadmill native control algorithm alongside an approach based on a state observer control scheme combining a kinematic model with error dynamics that allows users to change their ...

IEEE COMPUTER SOC2023

Supporting Well-Being: A Digital Intervention Model for Disclosing Sexual Harassment in Higher Education

Denis Gillet, Isabelle Barbara Marie-Hélène Cardia

Sexual harassment is prevalent at all levels of higher education and research and in all disciplines, which means that engineering education is no exception. Following the #MeToo movement, students have started to report cases of abuses publicly in our ins ...

IEEE2023

Design of Low-power Analog Circuits in Advanced Technology Nodes using the Gm/ID Approach

Simon Olivier Berner, Christian Enz, Hung-Chi Han

The Gm/ID approach has proven to be an efficient technique for the design of low-power analog circuits. Until now it was mostly demonstrated on older CMOS technology nodes. In this paper we will show that the Gm/ID methodology still holds for advanced tech ...

IEEE2023

On the Granularity of Explanations in Model Agnostic NLP Interpretability

Pascal Frossard, Yves Rychener

Current methods for Black-Box NLP interpretability, like LIME or SHAP, are based on altering the text to interpret by removing words and modeling the Black-Box response. In this paper, we outline limitations of this approach when using complex BERT-based c ...

SPRINGER INTERNATIONAL PUBLISHING AG2023

Predicting Survey Response with Quotation-based Modeling: A Case Study on Favorability towards the United States

Alireza Amirshahi, Saleh Baghersalimi

The acquisition of survey responses is a crucial component in conducting research aimed at comprehending public opinion. However, survey data collection can be arduous, time-consuming, and expensive, with no assurance of an adequate response rate. In this ...

IEEE COMPUTER SOC2023

Maximum likelihood estimation of distribution grid topology and parameters from Smart Meter data

Lisa Carole Françoise Laurent, Giancarlo Ferrari Trecate, Jean-Sébastien Hubert Brouillon

This paper defines a Maximum Likelihood Estimator (MLE) for the admittance matrix estimation of distribution grids, utilising voltage magnitude and power measurements collected only from common, unsychronised measuring devices (Smart Meters). First, we pre ...

IEEE2023

A Research-Practice Partnership to Introduce Computer Science in Secondary School: Lessons from a Pilot Program

Francesco Mondada, Barbara Bruno, Jessica Elke Dehler Zufferey, Laila Abdelsalam El-Hamamsy, Helena Kovacs, Jean-Philippe Pellet

Context: Introducing Computer Science (CS) into formal education can be challenging, notably when considering the numerous stakeholders involved which include the students, teachers, schools, and policy makers. We believe these perspectives should be con ...

2023

Topology Optimization of Soft Magnetic Composites with Integer Programming

Yves Perriard, Adrien Jean-Michel Thabuis, Xiaotao Ren

Soft Magnetic Composites (SMCs) have huge application potential in electrical devices. With the development of additive manufacturing (AM), the properties of SMCs can be boosted. It is therefore required an optimization algorithm to design SMCs considering ...

IEEE2022

Optima Age Over Erasure Channels

Emre Telatar, Rajai Nasser, Elie Najm

Previous works on age of information and erasure channels have dealt with specific models and computed the average age or average peak age for certain settings. In this paper, given a source that produces a letter every T-s seconds and an erasure channel t ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

An Accelerated First-Order Method for Non-convex Optimization on Manifolds

Christopher Arnold Criscitiello, Nicolas Boumal

We describe the first gradient methods on Riemannian manifolds to achieve accelerated rates in the non-convex case. Under Lipschitz assumptions on the Riemannian gradient and Hessian of the cost function, these methods find approximate first-order critical ...

SPRINGER2022

Indexing Protected Deep Face Templates by Frequent Binary Patterns

Sébastien Marcel, Hatef Otroshi Shahreza

In this work, we present a simple biometric indexing scheme which is binning and retrieving cancelable deep face templates based on frequent binary patterns. The simplicity of the proposed approach makes it applicable to unprotected as well as protected, i ...

IEEE2022

On improving the efficiency of modifier adaptation via directional information

Dominique Bonvin

In real-time optimization, the solution quality depends on the model ability to predict the plant KarushKuhn-Tucker (KKT) conditions. In the case of non-parametric plant-model mismatch, one can add input-affine modifiers to the model cost and constraints a ...

PERGAMON-ELSEVIER SCIENCE LTD2022

Robust Isometric Non-Rigid Structure-From-Motion

Shaifali Parashar

Non-Rigid Structure-from-Motion (NRSfM) reconstructs a deformable 3D object from keypoint correspondences established between monocular 2D images. Current NRSfM methods lack statistical robustness, which is the ability to cope with correspondence errors. T ...

IEEE COMPUTER SOC2022

Reconstructing Kinetic Models for Dynamical Studies of Metabolism using Generative Adversarial Networks

Vassily Hatzimanikatis, Ljubisa Miskovic, Subham Choudhury, Daniel Robert Weilandt, Pierre Guy Rémy Salvy, David Michael Moret

Kinetic models of metabolism relate metabolic fluxes, metabolite concentrations and enzyme levels through mechanistic relations, rendering them essential for understanding, predicting and optimizing the behaviour of living organisms. However, due to the la ...

NATURE PORTFOLIO2022

Exploring Heterogeneous Feature Representation for Document Layout Understanding

Guosheng Feng

There are increasing interests in document layout representation learning and understanding. Transformer, with its great power, has become the mainstream model architecture and achieved promising results in this area. As elements in a document layout consi ...

IEEE COMPUTER SOC2022

Implicit Gradient Alignment in Distributed and Federated Learning

Martin Jaggi, Yatin Dandi, Luis Felipe Barba Flores

A major obstacle to achieving global convergence in distributed and federated learning is the misalignment of gradients across clients, or mini-batches due to heterogeneity and stochasticity of the distributed data. In this work, we show that data heteroge ...

ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE2022

Virtual Safety Assistant: An Efficient Tool for Ensuring Safety During Covid-19 Pandemic

Daniel Thalmann

Using intelligent virtual assistants for controlling employee population in workspaces is a research area that remains unexplored. This paper presents a novel application of virtual humans to enforce Covid-19 safety measures in a corporate workplace. For t ...

SPRINGER INTERNATIONAL PUBLISHING AG2022