1.2k citations
- Centre National de la Recherche ScientifiqueFR14 papers
- Institut national de recherche en sciences et technologies du numériqueFR14 papers
- National Institute of InformaticsJP13 papers
- SupélecFR13 papers
- University of Illinois ChicagoUS10 papers
- Technical University of MunichDE9 papers
- Laboratoire Informatique d'AvignonFR8 papers
- University College LondonGB8 papers
- University of EdinburghGB8 papers
- Sorbonne UniversitéFR7 papers
- Université Côte d'AzurFR7 papers
- University of Eastern FinlandFI7 papers
309 papers
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
Davide Davoli, Marton Bognar, Lesly-Ann Daniel +3
Speculative execution attacks such as Spectre-PHT and Spectre-STL remain a critical security concern in modern processors. While software-based mitigations like Speculative Load Ha…
Verifiable and Confidential DNN Inference on Low-End Edge Devices
Mohamed Khalil Kiri, Ivan De Oliveira Nunes, Aurélien Francillon +1
Deploying deep neural network (DNN) inference on low-end edge devices raises two key challenges: protecting model confidentiality against a potentially compromised edge system and…
The Role of Domain-Specific Features in Malware Detection: A macOS Case Study
Biagio Montaruli, Andrea Oliveri, Savino Dambra +1
Despite the growing popularity of macOS among end users and enterprise systems, malware research has primarily focused on Windows and Android operating systems, leaving the problem…
SourceBroken: A large-scale analysis on the (un)reliability of SourceRank in the PyPI ecosystem
Biagio Montaruli, Serena Elisa Ponta, Luca Compagna +1
SourceRank is a scoring system made of 18 metrics that assess the popularity and quality of open-source packages. Despite being used in several recent studies, none has thoroughly…
R3ST: A Synthetic 3D Dataset With Realistic Trajectories
Simone Teglia, Claudia Melis Tonti, Francesco Pro +4
Datasets are essential to train and evaluate computer vision models used for traffic analysis and to enhance road safety. Existing real datasets fit real-world scenarios, capturing…
Integrating Causal Reasoning into Automated Fact-Checking
Youssra Rebboud, Pasquale Lisena, Raphael Troncy
In fact-checking applications, a common reason to reject a claim is to detect the presence of erroneous cause-effect relationships between the events at play. However, current auto…